Coll, Jordi

7 publications

AAAI 2025 Improving the Lower Bound in Branch-and-Bound Algorithms for MaxSAT Shuolin Li, Chu-Min Li, Jordi Coll, Djamal Habet, Felip Manyà

IJCAI 2023 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à

IJCAI 2023 Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem (Extended Abstract) Miquel Bofill, Jordi Coll, Marc Garcia, Jesús Giráldez-Cru, Gilles Pesant, Josep Suy, Mateu Villaret

IJCAI 2023 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

IJCAI 2022 Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract) Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He

JAIR 2022 Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem Miquel Bofill, Jordi Coll, Marc Garcia, Jesús Giráldez-Cru, Gilles Pesant, Josep Suy, Mateu Villaret

IJCAI 2017 Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret