`Travelled to:`

1 × Denmark

1 × Estonia

1 × France

1 × Germany

1 × Poland

1 × Serbia

2 × Austria

2 × The Netherlands

2 × USA

3 × United Kingdom

`Collaborated with:`

J.Levy T.Kutsia M.Schmidt-Schauß M.Bofill A.Baumgartner D.Busquets J.Suy J.Niehren

`Talks about:`

unif (14) order (6) context (4) second (4) complet (3) nomin (3) anti (3) constraint (2) problem (2) higher (2)

## Person: Mateu Villaret

### DBLP: Villaret:Mateu

### Contributed to:

### Wrote 15 papers:

- RTA-2015-BaumgartnerKLV #anti
- Nominal Anti-Unification (AB, TK, JL, MV), pp. 57–73.
- RTA-2013-BaumgartnerKLV #anti #higher-order
- A Variant of Higher-Order Anti-Unification (AB, TK, JL, MV), pp. 113–127.
- RTA-2011-KutsiaLV
- Anti-Unification for Unranked Terms and Hedges (TK, JL, MV), pp. 219–234.
- PPDP-2010-BofillBV #approach #declarative #robust #satisfiability
- A declarative approach to robust weighted Max-SAT (MB, DB, MV), pp. 67–76.
- RTA-2010-LevyV #algorithm #performance #unification
- An Efficient Nominal Unification Algorithm (JL, MV), pp. 209–226.
- SAT-2010-BofillSV #constraints #problem #smt
- A System for Solving Constraint Satisfaction Problems with SMT (MB, JS, MV), pp. 300–305.
- RTA-2008-LevyV #higher-order #perspective #unification
- Nominal Unification from a Higher-Order Perspective (JL, MV), pp. 246–260.
- RTA-2007-KutsiaLV #sequence #unification
- Sequence Unification Through Currying (TK, JL, MV), pp. 288–302.
- IJCAR-2006-LevySV #unification
- Stratified Context Unification Is NP-Complete (JL, MSS, MV), pp. 82–96.
- RTA-2006-LevySV #bound #higher-order #unification
- Bounded Second-Order Unification Is NP-Complete (JL, MSS, MV), pp. 400–414.
- CADE-2005-LevyNV #unification
- Well-Nested Context Unification (JL, JN, MV), pp. 149–163.
- RTA-2004-LevySV #higher-order #monad #unification
- Monadic Second-Order Unification Is NP-Complete (JL, MSS, MV), pp. 55–69.
- RTA-2002-LevyV #higher-order #problem #unification
- Currying Second-Order Unification Problems (JL, MV), pp. 326–339.
- RTA-2001-LevyV #equation #traversal #unification
- Context Unification and Traversal Equations (JL, MV), pp. 169–184.
- RTA-2000-LevyV #constraints #higher-order #linear #unification
- Linear Second-Order Unification and Context Unification with Tree-Regular Constraints (JL, MV), pp. 156–171.