CSIC

Usted está aquí

Home > Personal > Chu Min Li

Chu Min Li

Position: 
Co-Autors
17 Publications
2012
Zhu Zhu, Chu Min Li, Felip Manyà, J. Argerlich; A New Encoding from MinSAT into MaxSAT. CP 2012; 2012.
Download PDF
Carlos Ansótegui, María Luisa Bonet, Jordi Levy, Chu Min Li; Analysis and Generation of Pseudo-Industrial MaxSAT Instances. Proc. of the 15th Int. Conf. of the ACIA, CCIA'12; 2012.
Download PDF
Chu Min Li, Zhu Zhu, Felip Manyà, Laurent Simon; Optimizing with minimum satisfiability. Artificial intelligence; 2012.
Download PDF
2011
J. Argerlich, Chu Min Li, Felip Manyà, Jordi Planes; Analyzing the Instances of the MaxSAT Evaluation. 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011; 2011.
Download PDF
J. Argerlich, Chu Min Li, Felip Manyà, Jordi Planes; Experimenting with the Instances of the MaxSAT Evaluation. 14th International Conference of the Catalan Association for Artificial Intelligence; 2011.
Download PDF
Chu Min Li, Zhu Zhu, Felip Manyà, Laurent Simon; Minimum Satisfiability and Its Applications. 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011; 2011.
Download PDF
2010
Chu Min Li, Felip Manyà, Zhe Quan, Zhu Zhu; Exact MinSAT Solving. International Conference on Theory and Applications of Satisfiability Testing (SAT); 2010.
Download PDF
Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes; Resolution-Based Lower Bounds in MaxSAT. Constraints; 2010.
Download PDF
2009
Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes; Exploiting Cycle Structures in Max-SAT. 12th International Conference on Theory and Applications of Satisfiability Testing (SAT 2009); 2009.
Download PDF
Chu Min Li, Felip Manyà; MaxSAT, Hard and Soft Constraints. Handbook of Satisfiability; 2009.
Download PDF
2008
J. Argerlich, Chu Min Li, Felip Manyà, Jordi Planes; The First and Second Max-SAT Evaluations. Journal on Satisfiability, Boolean Modeling and Computation; 2008.
Download PDF
Chu Min Li, Felip Manyà, Nouredine O. Mohamedou, Jordi Planes; Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation. 14th International Conference on Principles and Practice of Constraint Programming (CP-2008); 2008.
Download PDF
2007
Carlos Ansótegui, José Larrubia, Chu Min Li, Felip Manyà; Exploiting Multivalued Knowledge in Variable Selection Heuristics for SAT Solvers. Annals of Mathematics and Artificial Intelligence; 2007.
Download PDF
Chu Min Li, Felip Manyà, Jordi Planes; New Inference Rules for Max-SAT. Journal of Artificial Intelligence Research; 2007.
Download PDF
2006
Chu Min Li, Felip Manyà, J. Planes; Detecting Disjoint Inconsistent Subformulas for Computing Lower Bounds for Max-SAT. Proceedings of the 21st National Conference on Artificial Intelligence, AAAI-2006, Boston/MA, USA; 2006.
Download PDF
J. Argerlich, Xavier Domingo, Chu Min Li, Felip Manyà, J. Planes; Towards Solving Many-Valued MaxSAT. Proceedings, 36th International Symposium on Multiple-Valued Logics (ISMVL-2006), Singapore; 2006.
Download PDF
2005
Chu Min Li, Felip Manyà, J. Planes; Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max SAT Solvers. Lecture Notes in Computer Science; 2005.
Download PDF
 

No results found