CSIC

You are here

Home > Staff > Jordi Levy

Jordi Levy

Reasoning and Logic Department
Jordi Levy
Email: 
levy@iiia.csic.es
Extension: 
240
Web: 
http://www.iiia.csic.es/~levy
Position: 
Scientific Staff
63 Publications
2017
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret; Higher-Order Pattern Anti-Unification in Linear Time. Journal of Automated Reasoning; 2017.
Download PDF
Jesús Giráldez-Cru, Jordi Levy; Locality in Random SAT Instances. Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017; 2017.
Download PDF
Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret; Nominal Unification of Higher Order Expressions with Recursive Let. Revised Selected Papers of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016; 2017.
Download PDF
Carlos Ansótegui, María Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy; Structure features for SAT instances classification. Journal of Applied Logic; 2017.
Download PDF
2016
Carlos Ansótegui, Joel Gabàs, Jordi Levy; Exploiting subproblem optimization in SAT-based MaxSAT algorithms. Journal of Heuristics; 2016.
Download PDF
Jesús Giráldez-Cru, Jordi Levy; Generating SAT instances with community structure. Artificial Intelligence; 2016.
Download PDF
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.
Download PDF
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.
Download PDF
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.
Download PDF
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.
Download PDF
2014
Temur Kutsia, Jordi Levy, Mateu Villaret; Anti-unification for Unranked Terms and Hedges. Journal of Automated Reasoning; 2014.
Download PDF
Carlos Ansótegui, María Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy; The Fractal Dimension of SAT Formulas. Proc. of the 7th Int. Joint Conf. on Automated Reasoning, IJCAR'14; 2014.
Download PDF
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.
Download PDF
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.
Download PDF
Carlos Ansótegui, María Luisa Bonet, Jordi Levy, Felip Manyà; Resolution Procedures for Multiple-Valued Optimization. Information Sciences; 2013.
Download PDF
Carlos Ansótegui, María Luisa Bonet, Jordi Levy; SAT-Based MaxSAT Algorithms. Artificial Intelligence; 2013.
Download PDF
2012
Carlos Ansótegui, María Luisa Bonet, Jordi Levy, Chu Min Li; Analysis and Generation of Pseudo-Industrial MaxSAT Instances. Proc. of the 15th Int. Conf. of the ACIA, CCIA'12; 2012.
Download PDF
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.
Download PDF
Jordi Levy, Mateu Villaret; Nominal Unification from a Higher-Order Perspective. ACM Transactions on Computational Logics; 2012.
Download PDF
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.
Download PDF
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.
Download PDF
Jordi Levy, Manfred Schmidt-Schauss, Mateu Villaret; On the complexity of Bounded Second-Order Unification and Stratified Context Unification. Logic Journal of the IGPL; 2011.
Download PDF
Carlos Ansótegui, Jordi Levy; On the Modularity of Industrial SAT Instances. Proc. of the 14th Int. Conf. of the ACIA, CCIA'11; 2011.
Download PDF
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.
Download PDF
Jordi Levy, Mateu Villaret; An Efficient Nominal Unification Algorithm. Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010; 2010.
Download PDF
Carlos Ansótegui, María Luisa Bonet, Jordi Levy; On Solving MaxSAT Through SAT. Workshop on Pragmatics of SAT, POS-10; 2010.
Download PDF
Temur Kutsia, Jordi Levy, Mateu Villaret; On the Relation Between Context and Sequence Unification. Journal of Symbolic Computation; 2010.
Download PDF
2009
Carlos Ansótegui, María Luisa Bonet, Jordi Levy; On Solving MaxSAT Through SAT. Proc. of the 12th Int. Conf. of the ACIA, CCIA'09; 2009.
Download PDF
Jordi Levy, Manfred Schmidt-Schauss, Mateu Villaret; On the Complexity of Bounded Second-order Unification and Stratified Context Unification. Journal of Algorithms in Cognition, Informatics, and Logic; 2009.
Download PDF
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.
Download PDF