Jordi Coll

7 papers · 2017–2026 · 2 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Bronze 🐣 Hot Topic Early Bird 🏆 Keyword Champion (2)

Venues

IJCAI (5) AAAI (2)

Top co-authors

Chu-Min Li (3) Felip Manyà (3) Djamal Habet (3) Mateu Villaret (3) Josep Suy (3) Miquel Bofill (3) Shuolin Li (2) Jesús Giráldez-Cru (1) Bart Bogaerts (1) Zhenxing Xu (1)

Research topics

Mathematics & Optimization (5) Optimization (5) Computer Science (4) Foundations (4) Mathematics (2) Machine Learning (1) Optimization & Theory (1)

Keywords

combinatorial optimization (5) maxsat solving (2) pseudo-boolean constraint (2) mixed integer programming (1) lower bound (1) sat solver (1) constraint programming (1) conflict-driven clause learning (1) clause learning (1) decision diagram (1) sat encoding (1) resource constrained scheduling (1) soft clause (1) boolean variable (1) constraint encoding (1) proof logging (1) variable ordering (1) maximum satisfiability (1) global constraint (1) bounding procedure (1)

Papers

Certified Branch-and-Bound MaxSAT Solving AAAI 2026 Improving the Lower Bound in Branch-and-Bound Algorithms for MaxSAT AAAI 2025 A New Variable Ordering for In-processing Bounded Variable Elimination in SAT Solvers IJCAI 2023 Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem (Extended Abstract) IJCAI 2023 SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract) IJCAI 2023 Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract) IJCAI 2022 Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems IJCAI 2017