| Data | Títol | Autor(s) | Tipus | | 2022 | The Impact of Implied Constraints on MaxSAT B2B Instances | Bofill, M.; Coll, J.; Giráldez-Cru, J.; Suy, J.; Villaret, M. | Article |
| 2022 | The Sample analyzis machine scheduling problem: definition and comparison of exact solving approaches | Bofill, M.; Coll J.; Martín, G; Suy J.; Villaret M | Article |
| 2022 | Constraint solving approaches to the business-to-business meeting sheduling problem | Bofill, M.; Coll J.; Carcia, M.; Giráldez-Cru, J.; Pesant, G.; Suy, J.; Villaret, M. | Article |
| 2022 | Nominal Unification and Matching of Higher Order Expressions with Recursive Let | Schmidt-Schauß, Manfred; Kutsia, Temur;|Levy, Jordi; Villaret, Mateu; Kutz, Yunus | Article |
| 2022 | SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints | Bofill, M.; Coll J.; Nightingale P.; Suy J.; Ulrich-Oltean F.; Villaret M | Article |
| 2021 | Artificial Intelligence Research and Development | Mateu Villaret; Teresa Alsinet; Cèsar Fernández; Aïda Valls | Capítol o part de llibre |
| 2020 | SMT encodings for Resource-Constrained Project Scheduling Problems | Bofill, M.; Coll, J.; Suy, J.; Villaret, M. | Article |
| 2020 | An MDD-based SAT encoding for pseudo-Boolean constraints with at-most-one relations | Bofill, M.; Coll, J.; Suy, J.; Villaret, M. | Article |
| 2019 | Relaxing non-interference requirements in parallel plans | Bofill, M.; Espasa, J.; Villaret, M. | Article |
| 2019 | New complexity results for Łukasiewicz logic | Bofill, Miquel; Manyà, Felip; Vidal, Amanda; Villaret, Mateu | Article |
| 2017 | Higher-Order Pattern Anti-Unification in Linear Time | Baumgartner, Alexander; Kutsia, Temur; Levy, Jordi; Villaret, Mateu | Article |
| 2017 | An efficient SMT approach to solve MRCPSP/max instances with tight constraints on resources | Bofill, M.; Coll, J.; Suy, J.; Villaret, M. | Capítol o part de llibre |
| 2017 | Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems | Bofill, M.; Coll, J.; Suy, J.; Villaret, M. | Capítol o part de llibre |
| 2017 | Relaxed Exists-Step Plans in Planning as SMT | Bofill, M.; Espasa, J.; Villaret, M. | Capítol o part de llibre |
| 2016 | The RANTANPLAN planner: system description | Bofill, M.; Espasa, J.; Villaret, M. | Article |
| 2016 | Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers | Ansótegui, Carlos; Bofill, Miquel; Manyà, Felip; Villaret, Mateu | Article |
| 2016 | Nominal Unification of Higher Order Expressions with Recursive Let. | Manfred Schmidt-Schauß; Temur Kutsia; Jordi Levy; Mateu Villaret | Capítol o part de llibre |
| 2016 | An exact approach for the prioritization process of industrial influents in wastewater systems | Verdaguer, M.; Suy, J.; Villaret, M.; Clara, N.; Bofill, M.; Poch, M. | Article |
| 2016 | A Semantic Notion of Interference for Planning Modulo Theories | Bofill, M.; Espasa, J.; Villaret, M. | Capítol o part de llibre |
| 2016 | A Study on Implied Constraints in a MaxSAT Approach to B2B Problems | Bofill, M.; Garcia, M.; Giráldez-Cru, J.; Villaret, M. | Capítol o part de llibre |