Pasar al contenido principal
Català
English
Español
Formulario de búsqueda
Buscar
Log-in
Acerca del IIIA
Presentación
Historia
Contribuciones a la inteligencia artificial 1996 - 2001
Contributions to Artificial Intelligence 1986 - 1995
Ubicación
Trabaja con nosotros
Departamentos
Proyectos
Proyectos Actuales
Proyectos Finalizados
Publicaciones
Publications
Thesis
Personas
Chu Min Li
Personal actual
Personal anterior
Actividades
Seminarios
Conferencias
Doctoral Consortium
Noticias
Transferencia
Usted está aquí
Home
>
Personal
>
Chu Min Li
Chu Min Li
Chu Min Li
Personal actual
Personal anterior
Position:
Co-Autors
Publications
Projects
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