Jordi Planes
Jordi Planes
Universitat de Lleida
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
1952007
Algorithms for weighted boolean optimization
V Manquinho, J Marques-Silva, J Planes
International conference on theory and applications of satisfiability …, 2009
1732009
Algorithms for maximum satisfiability using unsatisfiable cores
J Marques-Sila, J Planes
Advanced Techniques in Logic Synthesis, Optimizations and Applications, 171-182, 2011
1532011
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
1482013
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
952005
Exploiting cycle structures in Max-SAT
CM Li, F Manya, N Mohamedou, J Planes
International Conference on Theory and Applications of Satisfiability …, 2009
882009
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
882008
Detecting disjoint inconsistent subformulas for computing lower bounds for Max-SAT
CM Li, F Manya, J Planes
AAAI 6, 86-91, 2006
832006
The rise of machine learning for detection and classification of malware: Research developments, trends and challenges
D Gibert, C Mateu, J Planes
Journal of Network and Computer Applications 153, 102526, 2020
572020
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
542003
Resolution-based lower bounds in MaxSAT
CM Li, F Manya, NO Mohamedou, J Planes
Constraints 15 (4), 456-484, 2010
502010
Improved exact solvers for weighted Max-SAT
T Alsinet, F Manya, J Planes
International Conference on Theory and Applications of Satisfiability …, 2005
422005
A Max-SAT solver with lazy data structures
T Alsinet, F Manya, J Planes
Ibero-American Conference on Artificial Intelligence, 334-342, 2004
352004
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
342019
MaxSAT evaluation
J Argelich, CM Li, F Manya, J Planes
URL: http://www. maxsat. udl. cat, 2007
242007
An efficient solver for weighted Max-SAT
T Alsinet, F Manya, J Planes
Journal of Global Optimization 41 (1), 61-73, 2008
232008
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
222017
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
212017
Classification of malware by using structural entropy on convolutional neural networks
D Gibert, C Mateu, J Planes, R Vicens
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
172018
The system can't perform the operation now. Try again later.
Articles 1–20