Skip to main content
Català
English
Español
Search form
Search
Log-in
About IIIA
Presentation
History
Contributions to Artificial Intelligence 1986 - 1995
Contributions to Artificial Intelligence 1996 - 2001
Location
Work with us
Departments
Projects
Current Projects
Past Projects
Publications
Publications
Thesis
Staff
Current staff
Former staff
Jordi Planes
Activities
Seminar
Conferences
Doctoral Consortium
Current news
Transfer
25th anniversary
You are here
Home
>
Staff
>
Jordi Planes
Jordi Planes
Current staff
Former staff
Jordi Planes
Email:
jplanes@diei.udl.cat
Position:
Former PhD students
Co-Autors
Publications
Projects
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