Jordi Planes
Jordi Planes
Universitat de Lleida
Dirección de correo verificada de diei.udl.cat - Página principal
Título
Citado por
Citado por
Año
New inference rules for Max-SAT
CM Li, F Manya, J Planes
Journal of Artificial Intelligence Research 30, 321-359, 2007
1872007
Algorithms for weighted boolean optimization
V Manquinho, J Marques-Silva, J Planes
International conference on theory and applications of satisfiability …, 2009
1612009
Algorithms for maximum satisfiability using unsatisfiable cores
J Marques-Sila, J Planes
Advanced Techniques in Logic Synthesis, Optimizations and Applications, 171-182, 2011
1492011
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
1332013
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
912005
Exploiting cycle structures in Max-SAT
CM Li, F Manya, N Mohamedou, J Planes
International Conference on Theory and Applications of Satisfiability …, 2009
852009
Detecting disjoint inconsistent subformulas for computing lower bounds for Max-SAT
CM Li, F Manya, J Planes
AAAI 6, 86-91, 2006
792006
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
782008
On using unsatisfiability for solving maximum satisfiability
J Marques-Silva, J Planes
arXiv preprint arXiv:0712.1097, 2007
572007
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
452010
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
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
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
192019
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
172017
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
A MAX-SAT Algorithm Portfolio.
PJ Matos, J Planes, F Letombe, J Marques-Silva
ECAI, 911-912, 2008
162008
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20