Jordi Coll
7 papers · 2017–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🐝 Cross-Pollinator (15) 🏃 Academic Marathon (8) 🌉 Interdisciplinary Bridge 🌍 Conference Polyglot (2) 🧭 Keyword Pioneer
🐣
Hot Topic Early Bird
🏆
Keyword Champion
(2)
Conferences
IJCAI (5)
AAAI (2)
Top co-authors
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)
soft clause
(1)
boolean variable
(1)
constraint encoding
(1)
proof logging
(1)
variable ordering
(1)
maximum satisfiability
(1)
global constraint
(1)
bounding procedure
(1)
meeting scheduling
(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