CSIC

You are here

Home > Staff > Jordi Planes

Jordi Planes

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.
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
2010
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
2008
Teresa Alsinet, Felip Manyà, Jordi Planes; An Efficient Solver for Weighted Max-SAT. Journal of Global Optimization; 2008.
Download PDF
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
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
Teresa Alsinet, Felip Manyà, J. Planes; Improved Exact Solver for Weighted Max-Sat. Lecture Notes in Computer Science; 2005.
Download PDF
 

No results found