Publicaciones en las que colabora con Chumin Li (3)

2012

  1. A SAT-based approach to MinSAT

    Frontiers in Artificial Intelligence and Applications

  2. Analysis and generation of pseudo-industrial MaxSAT instances

    Frontiers in Artificial Intelligence and Applications

2007

  1. Exploiting multivalued knowledge in variable selection heuristics for SAT solvers

    Annals of Mathematics and Artificial Intelligence, Vol. 49, Núm. 1-4, pp. 191-205