Mateu Villaret

Solving constraint satisfaction problems with SAT modulo theories

Miquel Bofill, Miquel Palahí, Josep Suy et al. · Constraints · 2012 · 43 citations

Constraint Solving, Engineering, Automated Reasoning +6

An Efficient Nominal Unification Algorithm

Jordi Levy, Mateu Villaret · LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Científicas) · 2010 · 31 citations · Full text

Satisfiability Modulo Theories: An Efficient Approach for the Resource-Constrained Project Scheduling Problem

Carlos Ansótegui, Miquel Bofill, Miquel Palahí et al. · Symposium on Abstraction, Reformulation and Approximation · 2011 · 30 citations

Mathematical Programming, Engineering, Project Scheduling +23

Anti-unification for Unranked Terms and Hedges

Temur Kutsia, Jordi Levy, Mateu Villaret · Journal of Automated Reasoning · 2013 · 29 citations · Full text

Mathematical Programming, Engineering, Computational Complexity +19

Nominal Unification from a Higher-Order Perspective

Jordi Levy, Mateu Villaret · ACM Transactions on Computational Logic · 2012 · 28 citations · Full text

Formal Semantics, Nominal Unification, Syntax +13