Jordi Coll

5 papers in the IJCAI proceedings

IJCAI 2023

A New Variable Ordering for In-processing Bounded Variable Elimination in SAT Solvers

with Shuolin Li, Chu-Min Li, Mao Luo, Djamal Habet, Felip Manyà

doi:10.24963/ijcai.2023/220

Details PDF

Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem (Extended Abstract)

with Miquel Bofill, Marc Garcia, Jesús Giráldez-Cru, Gilles Pesant, Josep Suy, Mateu Villaret

doi:10.24963/ijcai.2023/768

Details PDF

SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract)

with Miquel Bofill, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret

doi:10.24963/ijcai.2023/769

Details PDF

IJCAI 2022

Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract)

with Chu-Min Li, Zhenxing Xu, Felip Manyà, Djamal Habet, Kun He

doi:10.24963/ijcai.2022/739

Details PDF

IJCAI 2017

Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems

with Miquel Bofill, Josep Suy, Mateu Villaret

doi:10.24963/ijcai.2017/78

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings