Mateu Villaret Auselle
Mateu Villaret Auselle
Prof. Agregat, Universitat de Girona
Dirección de correo verificada de ima.udg.edu
TítuloCitado porAño
An efficient nominal unification algorithm
J Levy, M Villaret
Proceedings of the 21st International Conference on Rewriting Techniques and …, 2010
452010
Nominal unification from a higher-order perspective
J Levy, M Villaret
International Conference on Rewriting Techniques and Applications, 246-260, 2008
422008
Solving constraint satisfaction problems with SAT modulo theories
M Bofill, M Palahí, J Suy, M Villaret
Constraints 17 (3), 273-303, 2012
352012
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
342011
Anti-unification for unranked terms and hedges
T Kutsia, J Levy, M Villaret
Journal of Automated Reasoning 52 (2), 155-190, 2014
302014
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
282000
Nominal unification from a higher-order perspective
J Levy, M Villaret
ACM Transactions on Computational Logic (TOCL) 13 (2), 10, 2012
272012
A system for solving constraint satisfaction problems with SMT
M Bofill, J Suy, M Villaret
International Conference on Theory and Applications of Satisfiability …, 2010
232010
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
212012
The complexity of monadic second-order unification
J Levy, M Schmidt-Schauß, M Villaret
SIAM Journal on Computing 38 (3), 1113-1140, 2008
192008
Bounded second-order unification is NP-complete
J Levy, M Schmidt-Schauß, M Villaret
International Conference on Rewriting Techniques and Applications, 400-414, 2006
192006
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
182016
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
182009
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
172010
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
162013
Stratified context unification is NP-complete
J Levy, M Schmidt-Schauß, M Villaret
International Joint Conference on Automated Reasoning, 82-96, 2006
162006
Well-nested context unification
J Levy, J Niehren, M Villaret
International Conference on Automated Deduction, 149-163, 2005
162005
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
152013
Monadic second-order unification is NP-complete
J Levy, M Schmidt-Schauß, M Villaret
International Conference on Rewriting Techniques and Applications, 55-69, 2004
152004
Context unification and traversal equations
J Levy, M Villaret
International Conference on Rewriting Techniques and Applications, 169-184, 2001
152001
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20