Jordi Coll
7 papers
· 2017–2026
· 2 conferences
· across top CS/AI conferences
Achievements
๐
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)