An efficient nominal unification algorithm J Levy, M Villaret Proceedings of the 21st International Conference on Rewriting Techniques and …, 2010 | 45 | 2010 |
Nominal unification from a higher-order perspective J Levy, M Villaret International Conference on Rewriting Techniques and Applications, 246-260, 2008 | 42 | 2008 |
Solving constraint satisfaction problems with SAT modulo theories M Bofill, M Palahí, J Suy, M Villaret Constraints 17 (3), 273-303, 2012 | 35 | 2012 |
Satisfiability modulo theories: An efficient approach for the resource-constrained project scheduling problem C Ansótegui, M Bofill, M Palahí, J Suy, M Villaret Ninth Symposium of Abstraction, Reformulation, and Approximation, 2011 | 34 | 2011 |
Anti-unification for unranked terms and hedges T Kutsia, J Levy, M Villaret Journal of Automated Reasoning 52 (2), 155-190, 2014 | 30 | 2014 |
Linear second-order unification and context unification with tree-regular constraints J Levy, M Villaret International Conference on Rewriting Techniques and Applications, 156-171, 2000 | 28 | 2000 |
Nominal unification from a higher-order perspective J Levy, M Villaret ACM Transactions on Computational Logic (TOCL) 13 (2), 10, 2012 | 27 | 2012 |
A system for solving constraint satisfaction problems with SMT M Bofill, J Suy, M Villaret International Conference on Theory and Applications of Satisfiability …, 2010 | 23 | 2010 |
Building automated theorem provers for infinitely-valued logics with satisfiability modulo theory solvers C Ansótegui, M Bofill, F Manyà, M Villaret 2012 IEEE 42nd International Symposium on Multiple-Valued Logic, 25-30, 2012 | 21 | 2012 |
The complexity of monadic second-order unification J Levy, M Schmidt-Schauß, M Villaret SIAM Journal on Computing 38 (3), 1113-1140, 2008 | 19 | 2008 |
Bounded second-order unification is NP-complete J Levy, M Schmidt-Schauß, M Villaret International Conference on Rewriting Techniques and Applications, 400-414, 2006 | 19 | 2006 |
Nominal unification of higher order expressions with recursive let M Schmidt-Schauß, T Kutsia, J Levy, M Villaret International Symposium on Logic-Based Program Synthesis and Transformation …, 2016 | 18 | 2016 |
SIMPLY: a Compiler from a CSP Modeling Language to the SMT-LIB Format M Bofill, M Palahı, J Suy, M Villaret Proceedings of the 8th international workshop on constraint modelling and …, 2009 | 18 | 2009 |
On the complexity of bounded second-order unification and stratified context unification J Levy, M Schmidt-Schauß, M Villaret Logic Journal of IGPL 19 (6), 763-789, 2010 | 17 | 2010 |
A variant of higher-order anti-unification A Baumgartner, T Kutsia, J Levy, M Villaret i Ausellé Leibniz International Proceedings in Informatics (LIPPICS): 24th …, 2013 | 16 | 2013 |
Stratified context unification is NP-complete J Levy, M Schmidt-Schauß, M Villaret International Joint Conference on Automated Reasoning, 82-96, 2006 | 16 | 2006 |
Well-nested context unification J Levy, J Niehren, M Villaret International Conference on Automated Deduction, 149-163, 2005 | 16 | 2005 |
Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories C Ansótegui, M Bofill, M Palahí, J Suy, M Villaret Constraints 18 (2), 236-268, 2013 | 15 | 2013 |
Monadic second-order unification is NP-complete J Levy, M Schmidt-Schauß, M Villaret International Conference on Rewriting Techniques and Applications, 55-69, 2004 | 15 | 2004 |
Context unification and traversal equations J Levy, M Villaret International Conference on Rewriting Techniques and Applications, 169-184, 2001 | 15 | 2001 |