Jordi Planes
Jordi Planes
Verified email at diei.udl.cat - Homepage
Title
Cited by
Cited by
Year
New inference rules for Max-SAT
CM Li, F Manya, J Planes
Journal of Artificial Intelligence Research 30, 321-359, 2007
1892007
Algorithms for weighted boolean optimization
V Manquinho, J Marques-Silva, J Planes
International conference on theory and applications of satisfiability …, 2009
1662009
Algorithms for maximum satisfiability using unsatisfiable cores
J Marques-Sila, J Planes
Advanced Techniques in Logic Synthesis, Optimizations and Applications, 171-182, 2011
1512011
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
1442013
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
932005
Exploiting cycle structures in Max-SAT
CM Li, F Manya, N Mohamedou, J Planes
International Conference on Theory and Applications of Satisfiability …, 2009
862009
The first and second Max-SAT evaluations
J Argelich, CM Li, F Manya, J Planes
Journal on Satisfiability, Boolean Modeling and Computation 4 (2-4), 251-278, 2008
812008
Detecting disjoint inconsistent subformulas for computing lower bounds for Max-SAT
CM Li, F Manya, J Planes
AAAI 6, 86-91, 2006
802006
On using unsatisfiability for solving maximum satisfiability
J Marques-Silva, J Planes
arXiv preprint arXiv:0712.1097, 2007
592007
Improved branch and bound algorithms for Max-SAT
T Alsinet, F Manya, J Planes
492003
Resolution-based lower bounds in MaxSAT
CM Li, F Manyà, NO Mohamedou, J Planes
Constraints 15 (4), 456-484, 2010
472010
Improved exact solvers for weighted Max-SAT
T Alsinet, F Manyà, J Planes
International Conference on Theory and Applications of Satisfiability …, 2005
402005
A Max-SAT solver with lazy data structures
T Alsinet, F Manya, J Planes
Ibero-American Conference on Artificial Intelligence, 334-342, 2004
322004
Using convolutional neural networks for classification of malware represented as images
D Gibert, C Mateu, J Planes, R Vicens
Journal of Computer Virology and Hacking Techniques 15 (1), 15-28, 2019
252019
MaxSAT evaluation
J Argelich, CM Li, F Manya, J Planes
URL: http://www. maxsat. udl. cat, 2007
242007
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
212017
An efficient solver for weighted Max-SAT
T Alsinet, F Manya, J Planes
Journal of Global Optimization 41 (1), 61-73, 2008
212008
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
202017
A MAX-SAT Algorithm Portfolio.
PJ Matos, J Planes, F Letombe, J Marques-Silva
ECAI, 911-912, 2008
172008
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
The system can't perform the operation now. Try again later.
Articles 1–20