Chumin
Li
Publicaciones en las que colabora con Chumin Li (3)
2012
-
A SAT-based approach to MinSAT
Frontiers in Artificial Intelligence and Applications
-
Analysis and generation of pseudo-industrial MaxSAT instances
Frontiers in Artificial Intelligence and Applications
2007
-
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