| 2026 | AAAI | Certified Branch-and-Bound MaxSAT Solving. | Dieter Vandesande, Jordi Coll, Bart Bogaerts |
| 2025 | AAAI | Improving the Lower Bound in Branch-and-Bound Algorithms for MaxSAT. | Shuolin Li, Chu-Min Li, Jordi Coll, Djamal Habet, Felip Many |
| 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 |
| 2023 | IJCAI | A New Variable Ordering for In-processing Bounded Variable Elimination in SAT Solvers. | Shuolin Li, Chu-Min Li, Mao Luo, Jordi Coll, Djamal Habet, Felip Many |
| 2022 | IJCAI | Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract). | Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Many, Djamal Habet, Kun He |
| 2021 | CP | Combining Clause Learning and Branch and Bound for MaxSAT. | Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Many, Djamal Habet, Kun He |
| 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 |