Seguir
Jordi Levy
Jordi Levy
Research Scientist, IIIA-CSIC
Dirección de correo verificada de iiia.csic.es - Página principal
Título
Citado por
Citado por
Año
Solving (weighted) partial MaxSAT through satisfiability testing
C Ansótegui, ML Bonet, J Levy
International conference on theory and applications of satisfiability …, 2009
1912009
SAT-based maxsat algorithms
C Ansótegui, ML Bonet, J Levy
Artificial Intelligence 196, 77-105, 2013
1852013
Resolution for Max-SAT
ML Bonet, J Levy, F Manyà
Artificial Intelligence 171 (8), 606-618, 2007
1512007
The community structure of SAT formulas
C Ansótegui, J Giráldez-Cru, J Levy
International Conference on Theory and Applications of Satisfiability …, 2012
1272012
Linear second-order unification
J Levy
International Conference on Rewriting Techniques and Applications, 332-346, 1996
1031996
A New Algorithm for Weighted Partial MaxSAT
C Ansótegui, ML Bonet, J Levy
24th AAAI Conf. on Artificial Intelligence, AAAI'10, 2010
862010
Random SAT Instances à la Carte
C Ansótegui, ML Bonet, J Levy
11th Int. Conf. of the Catalan Association for Artificial Intelligence, CCIA …, 2008
752008
On the structure of industrial SAT instances
C Ansótegui, ML Bonet, J Levy
International Conference on Principles and Practice of Constraint …, 2009
722009
Measuring the Hardness of SAT Instances.
C Ansótegui, ML Bonet, J Levy, F Manya
23th AAAI Conf. on Artificial Intelligence, AAAI'08. 8, 222-228, 2008
692008
On the undecidability of second-order unification
J Levy, M Veanes
Information and Computation 159 (1-2), 125-150, 2000
682000
Improving SAT-based weighted MaxSAT solvers
C Ansótegui, ML Bonet, J Gabas, J Levy
International conference on principles and practice of constraint …, 2012
662012
An efficient nominal unification algorithm
J Levy, M Villaret i Ausellé
21st Int. Conf. on Rewriting Techniques and Applications, RTA'10, 209-226, 2010
622010
A complete calculus for Max-SAT
ML Bonet, J Levy, F Manyà
Theory and Applications of Satisfiability Testing-SAT 2006: 9th …, 2006
622006
A Modularity-based Random SAT Instances Generator
J Giráldez-Cru, J Levy
24th Int. Joint Conf on Artificial Intelligence, IJCAI'15, 2015
552015
Anti-Unification for Unranked Terms and Hedges
T Kutsia, J Levy, M Villaret
22nd International Conference on Rewriting Techniques and Applications (RTA …, 2011
552011
Bi-rewriting, a term rewriting technique for monotonic order relations
J Levy, J Agusti
International Conference on Rewriting Techniques and Applications, 17-31, 1993
531993
Bi-rewrite systems
J Levy, J Agustí
Journal of Symbolic Computation 22 (3), 279-314, 1996
511996
Nominal unification from a higher-order perspective
J Levy, M Villaret
International Conference on Rewriting Techniques and Applications, 246-260, 2008
492008
Community structure in industrial SAT instances
C Ansótegui, ML Bonet, J Giráldez-Cru, J Levy, L Simon
Journal of Artificial Intelligence Research 66, 443-472, 2019
452019
Using community structure to detect relevant learnt clauses
C Ansótegui, J Giráldez-Cru, J Levy, L Simon
Theory and Applications of Satisfiability Testing--SAT 2015: 18th …, 2015
442015
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20