Departamento de Razonamiento y Lógica
Jordi Levy
Email: 
levy@iiia.csic.es
Extension: 
240
Position: 
Scientific Staff
61 Publications
2016
2015
Jesús Giráldez-Cru, Jordi Levy; A Modularity-Based Random SAT Instances Generator. Proc. of the 24th Int. Joint Conf on Artificial Intelligence, IJCAI'15; 2015.
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret; Nominal Anti-Unification. Proc. of the 26th Int. Conf. on Rewriting Techniques and Applications, RTA'15; 2015.
Carlos Ansótegui, María Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy; On the Classification of Industrial SAT Families. Proc. of the 18th Int. Conf. of the Catalan Association for Artificial Intelligence, CCIA'15; 2015.
Carlos Ansótegui, Jesús Giráldez-Cru, Jordi Levy, Laurent Simon; Using Community Structure to Detect Relevant Learnt Clauses. Proc. of the 18th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'15; 2015.
2014
2013
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret; A Variant of Higher-Order Anti-Unification. Proc. of the 24st Int. Conf. on Rewriting Techniques and Applications, RTA'13; 2013.
Carlos Ansótegui, María Luisa Bonet, Joel Gabàs, Jordi Levy; Improving WPM2 for (Weighted) Partial MaxSAT. Proc of the 19th Int. Conf. on Principles and Practice of Constraint Programming, CP'13; 2013.
2012
Carlos Ansótegui, María Luisa Bonet, Joel Gabàs, Jordi Levy; Improving SAT-Based Weighted MaxSAT Solvers. Proc. of the 18th Int. Conf. on Principles and Practice of Constraint Programming, CP'12; 2012.
Carlos Ansótegui, Jesús Giráldez-Cru, Jordi Levy; The Community Structure of SAT Formulas. Proc. of the 15th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'12; 2012.
2011
Temur Kutsia, Jordi Levy, Mateu Villaret; Anti-Unification for Unranked Terms and Hedges. Proc. of the 22st Int. Conf. on Rewriting Techniques and Applications, RTA'11; 2011.
Carlos Ansótegui, Jordi Levy; On the Modularity of Industrial SAT Instances. Proc. of the 14th Int. Conf. of the ACIA, CCIA'11; 2011.
2010
Carlos Ansótegui, María Luisa Bonet, Jordi Levy; A New Algorithm for Weighted Partial MaxSAT. Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010; 2010.
Jordi Levy, Mateu Villaret; An Efficient Nominal Unification Algorithm. Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010; 2010.
2009
Carlos Ansótegui, María Luisa Bonet, Jordi Levy; On the Structure of Industrial SAT Instances. Proc. of the 15th Int. Conf. on Principles and Practice of Constraint Programming, CP'09; 2009.
Jordi Levy, Mateu Villaret; Simplifying the Signature in Second-Order Unification. Applicable Algebra in Engineering, Communication and Computing; 2009.
Carlos Ansótegui, María Luisa Bonet, Jordi Levy; Solving (Weighted) Partial MaxSAT Through Satisfiability Testing. Proc. of the 20th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'09; 2009.