| 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 |
| 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 | 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 |
| 2016 | ICTAI | Solving the Multi-Mode Resource-Constrained Project Scheduling Problem with SMT. | Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret |
| 2015 | CPAIOR | MaxSAT-Based Scheduling of B2B Meetings. | Miquel Bofill, Marc Garcia, Josep Suy, 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 | SAT | A System for Solving Constraint Satisfaction Problems with SMT. | Miquel Bofill, Josep Suy, Mateu Villaret |