| 2024 | ICTAI | Cross-Paradigm Modelling: A Study of Puzznic. | Joan Espasa, Ian P. Gent, Ian Miguel, Peter Nightingale, Andrs Z. Salamon, Mateu Villaret |
| 2023 | IJCAI | Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem (Extended Abstract). | Miquel Bofill, Jordi Coll, Marc Garcia, Jess Girldez-Cru, Gilles Pesant, Josep Suy, Mateu Villaret |
| 2023 | IJCAI | SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract). | Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret |
| 2022 | CP | Plotting: A Planning Problem with Complex Transitions. | Joan Espasa, Ian Miguel, Mateu Villaret |
| 2019 | CP | Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints. | Carlos Anstegui, Miquel Bofill, Jordi Coll, Nguyen Dang, Juan Luis Esteban, Ian Miguel, Peter Nightingale, Andrs Z. Salamon, Josep Suy, Mateu Villaret |
| 2019 | CPAIOR | SAT Encodings of Pseudo-Boolean Constraints with At-Most-One Relations. | Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret |
| 2017 | AIME | The Spanish Kidney Exchange Model: Study of Computation-Based Alternatives to the Current Procedure. | Miquel Bofill, Marcos Caldern, Francesc Castro, Esteve del Acebo, Pablo Delgado, Marc Garcia, Marta Garca, Marc Roig, Mara O. Valentn, Mateu Villaret |
| 2017 | CP | An Efficient SMT Approach to Solve MRCPSP/max Instances with Tight Constraints on Resources. | Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret |
| 2017 | IJCAI | Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems. | Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret |
| 2017 | IJCAI | Relaxed Exists-Step Plans in Planning as SMT. | Miquel Bofill, Joan Espasa, Mateu Villaret |
| 2016 | ICTAI | Solving the Multi-Mode Resource-Constrained Project Scheduling Problem with SMT. | Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret |
| 2016 | LOPSTR | Nominal Unification of Higher Order Expressions with Recursive Let. | Manfred Schmidt-Schau, Temur Kutsia, Jordi Levy, Mateu Villaret |
| 2015 | CPAIOR | MaxSAT-Based Scheduling of B2B Meetings. | Miquel Bofill, Marc Garcia, Josep Suy, Mateu Villaret |
| 2015 | MDAI | The Complexity of 3-Valued Łukasiewicz Rules. | Miquel Bofill, Felip Many, Amanda Vidal, Mateu Villaret |
| 2014 | CP | Reformulation Based MaxSAT Robustness - (Extended Abstract). | Miquel Bofill, Ddac Busquets, Mateu Villaret |
| 2014 | CP | Scheduling B2B Meetings. | Miquel Bofill, Joan Espasa, Marc Garcia, Miquel Palah, Josep Suy, Mateu Villaret |
| 2014 | CP | Solving Intensional Weighted CSPs by Incremental Optimization with BDDs. | Miquel Bofill, Miquel Palah, Josep Suy, Mateu Villaret |
| 2010 | PPDP | A declarative approach to robust weighted Max-SAT. | Miquel Bofill, Ddac Busquets, Mateu Villaret |
| 2010 | SAT | A System for Solving Constraint Satisfaction Problems with SMT. | Miquel Bofill, Josep Suy, Mateu Villaret |
| 2006 | CADE | Stratified Context Unification Is NP-Complete. | Jordi Levy, Manfred Schmidt-Schau, Mateu Villaret |
| 2005 | CADE | Well-Nested Context Unification. | Jordi Levy, Joachim Niehren, Mateu Villaret |
| 2002 | LPAR | Parallelism and Tree Regular Constraints. | Joachim Niehren, Mateu Villaret |