| Solving constraint satisfaction problems with SAT modulo theories M Bofill, M Palahí, J Suy, M Villaret Constraints 17 (3), 273-303, 2012 | 60 | 2012 |
| An efficient nominal unification algorithm J Levy, M Villaret | 58 | 2010 |
| Nominal unification from a higher-order perspective J Levy, M Villaret International Conference on Rewriting Techniques and Applications, 246-260, 2008 | 48 | 2008 |
| Anti-unification for unranked terms and hedges T Kutsia, J Levy, M Villaret Journal of Automated Reasoning 52 (2), 155-190, 2014 | 45 | 2014 |
| 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 | 40 | 2011 |
| Nominal unification from a higher-order perspective J Levy, M Villaret ACM Transactions on Computational Logic (TOCL) 13 (2), 1-31, 2012 | 37 | 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 | 32 | 2010 |
| 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 | 31 | 2000 |
| 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 | 29 | 2016 |
| 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 | 26 | 2012 |
| 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 | 24 | 2009 |
| MaxSAT-based scheduling of B2B meetings M Bofill, M Garcia, J Suy, M Villaret International Conference on Integration of Constraint Programming …, 2015 | 22 | 2015 |
| 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, 2011 | 21 | 2011 |
| A variant of higher-order anti-unification A Baumgartner, T Kutsia, J Levy, M Villaret | 20 | 2013 |
| The complexity of monadic second-order unification J Levy, M Schmidt-Schauß, M Villaret SIAM Journal on Computing 38 (3), 1113-1140, 2008 | 20 | 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 | 20 | 2006 |
| 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 | 19 | 2013 |
| The RANTANPLAN planner: system description M Bofill, J Espasa, M Villaret The Knowledge Engineering Review 31 (5), 452-464, 2016 | 18 | 2016 |
| Finding hard instances of satisfiability in lukasiewicz logics M Bofill, F Manya, A Vidal, M Villaret 2015 IEEE International Symposium on Multiple-Valued Logic, 30-35, 2015 | 18 | 2015 |
| Well-nested context unification J Levy, J Niehren, M Villaret International Conference on Automated Deduction, 149-163, 2005 | 17 | 2005 |
Miquel Bofill ArasaUniversitat de GironaVerified email at udg.edu
