JORDI
PLANES CID
CON
Chumin
Li
Publicaciones en las que colabora con Chumin Li (10)
2011
-
Analyzing the instances of the MaxSAT evaluation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Experimenting with the instances of the MaxSAT evaluation
Frontiers in Artificial Intelligence and Applications
2010
-
Resolution-based lower bounds in MaxSAT
Constraints, Vol. 15, Núm. 4, pp. 456-484
2009
-
Exploiting cycle structures in Max-SAT
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2008
-
Combinaison des règles d'inférence et de la sous-estimation des bornes inférieures pour Max-SAT
JFPC 2008 - Actes des quatriemes Journees Francophones de Programmation par Contraintes
-
Transforming inconsistent subformulas in MaxSAT lower bound computation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2007
-
New inference rules for max-SAT
Journal of Artificial Intelligence Research, Vol. 30, pp. 321-359
2006
-
Detecting disjoint inconsistent subformulas for competing lower bounds for Max-SAT
Proceedings of the National Conference on Artificial Intelligence
-
Towards solving many-valued MaxSAT
Proceedings of The International Symposium on Multiple-Valued Logic
2005
-
Exploiting unit propagation to compute lower bounds in branch and bound Max-SAT solvers
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)