| 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 | 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 |
| 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 |
| 2008 | CAV | The Barcelogic SMT Solver. | Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell, Albert Rubio |
| 2008 | FMCAD | A Write-Based Solver for SAT Modulo the Theory of Arrays. | Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell, Albert Rubio |
| 2004 | CADE | Redundancy Notions for Paramodulation with Non-monotonic Orderings. | Miquel Bofill, Albert Rubio |
| 2002 | CADE | Well-Foundedness Is Sufficient for Completeness of Ordered Paramodulation. | Miquel Bofill, Albert Rubio |
| 2001 | ICALP | On the Completeness of Arbitrary Selection Strategies for Paramodulation. | Miquel Bofill, Guillem Godoy |
| 1999 | LICS | Paramodulation with Non-Monotonic Orderings. | Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio |