| Data | TÃtol | Director(s) |
|---|---|---|
| 2018 | SMT Techniques for Planning Problems | Bofill Arasa, Miquel; Villaret Auselle, Mateu |
| 2015 | Reformulation of constraint models into SMT | Bofill Arasa, Miquel; Villaret Auselle, Mateu |
| 2012 | A Satisfiability Modulo Theories Approach to Constraint Programming | Bofill Arasa, Miquel; Villaret Auselle, Mateu |
| 2004 | Equational reasoning with non-monotonic orderings | Rubio, A. |