![Foto de Chumin](/img/nophoto.png)
Chumin
Li
Publicaciones en las que colabora con Chumin Li (20)
2021
-
Clause tableaux for maximum and minimum satisfiability
Logic Journal of the IGPL, Vol. 29, Núm. 1, pp. 7-27
2018
-
Clause Branching in MaxSAT and MinSAT
Frontiers in Artificial Intelligence and Applications
2017
-
Exploiting Many-Valued Variables in MaxSAT
Proceedings of The International Symposium on Multiple-Valued Logic
2014
-
Many-valued MinSAT solving
Proceedings of The International Symposium on Multiple-Valued Logic
2013
-
MinSAT versus MaxSAT for optimization problems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012
-
A SAT-based approach to MinSAT
Frontiers in Artificial Intelligence and Applications
-
A new encoding from MinSAT into MaxSAT
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Analysis and generation of pseudo-industrial MaxSAT instances
Frontiers in Artificial Intelligence and Applications
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
-
A preprocessor for Max-SAT solvers
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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
-
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
-
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)