Jordi Planes
Jordi Planes
Verified email at diei.udl.cat - Homepage
TitleCited byYear
New inference rules for Max-SAT
CM Li, F Manya, J Planes
Journal of Artificial Intelligence Research 30, 321-359, 2007
1832007
Algorithms for weighted boolean optimization
V Manquinho, J Marques-Silva, J Planes
International conference on theory and applications of satisfiability …, 2009
1542009
Algorithms for maximum satisfiability using unsatisfiable cores
J Marques-Sila, J Planes
Advanced Techniques in Logic Synthesis, Optimizations and Applications, 171-182, 2011
1442011
Iterative and core-guided MaxSAT solving: A survey and assessment
A Morgado, F Heras, M Liffiton, J Planes, J Marques-Silva
Constraints 18 (4), 478-534, 2013
1182013
Exploiting unit propagation to compute lower bounds in branch and bound Max-SAT solvers
CM Li, F Manya, J Planes
International conference on principles and practice of constraint …, 2005
902005
Exploiting cycle structures in Max-SAT
CM Li, F Manyà, N Mohamedou, J Planes
International Conference on Theory and Applications of Satisfiability …, 2009
832009
Detecting disjoint inconsistent subformulas for computing lower bounds for Max-SAT
CM Li, F Manya, J Planes
AAAI 6, 86-91, 2006
782006
The first and second Max-SAT evaluations
J Argelich, CM Li, F Manya, J Planes
Journal on Satisfiability, Boolean Modeling and Computation 4, 251-278, 2008
722008
On using unsatisfiability for solving maximum satisfiability
J Marques-Silva, J Planes
arXiv preprint arXiv:0712.1097, 2007
552007
Improved branch and bound algorithms for Max-SAT
T Alsinet, F Manya, J Planes
512003
Resolution-based lower bounds in MaxSAT
CM Li, F Manyà, NO Mohamedou, J Planes
Constraints 15 (4), 456-484, 2010
422010
Improved exact solvers for weighted Max-SAT
T Alsinet, F Manyà, J Planes
International Conference on Theory and Applications of Satisfiability …, 2005
362005
A Max-SAT solver with lazy data structures
T Alsinet, F Manya, J Planes
Ibero-American Conference on Artificial Intelligence, 334-342, 2004
272004
MaxSAT evaluation
J Argelich, CM Li, F Manya, J Planes
URl: http://www. maxsat. udl. cat, 2007
232007
An efficient solver for weighted Max-SAT
T Alsinet, F Manya, J Planes
Journal of Global Optimization 41 (1), 61-73, 2008
212008
Weighted argumentation for analysis of discussions in Twitter
T Alsinet, J Argelich, R Béjar, C Fernández, C Mateu, J Planes
International Journal of Approximate Reasoning 85, 21-35, 2017
182017
Iterative SAT solving for minimum satisfiability
F Hers, A Morgado, J Planes, J Marques-Silva
2012 IEEE 24th International Conference on Tools with Artificial …, 2012
162012
Blacklist muti-objective genetic algorithm for energy saving in heterogeneous environments
E Gabaldon, JL Lerida, F Guirado, J Planes
The Journal of Supercomputing 73 (1), 354-369, 2017
132017
Improved branch and bound algorithms for Max-2-SAT and Weighted Max-2-SAT
T Alsinet, F Manya, J Planes
Proceedings of the Catalonian Conference on Artificial Intelligence (CCIA-03 …, 2003
132003
A MAX-SAT Algorithm Portfolio.
PJ Matos, J Planes, F Letombe, J Marques-Silva
ECAI, 911-912, 2008
122008
The system can't perform the operation now. Try again later.
Articles 1–20