Email: 
jplanes@diei.udl.cat
Position: 
Former PhD students
Co-Autors
12 Publications
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.
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.
2010
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.
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.
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.
2007
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.
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.
2005
 

No results found