Josep Suy
3 papers
· 2017–2023
· 1 conference
· across top CS/AI conferences
Achievements
🏃
Academic Marathon
(6)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐣
Hot Topic Early Bird
🐝
Cross-Pollinator
(15)
Conferences
IJCAI (3)
Top co-authors
Keywords
combinatorial optimization
(3)
pseudo-boolean constraint
(2)
mixed integer programming
(1)
constraint programming
(1)
decision diagram
(1)
sat encoding
(1)
boolean variable
(1)
constraint encoding
(1)
maximum satisfiability
(1)
global constraint
(1)
meeting scheduling
(1)
at-most-one constraint
(1)
multi-decision diagram
(1)
resource-constrained scheduling
(1)
boolean decision diagram
(1)
constraint satisfaction
(1)