Josep Suy
3 papers · 2017–2023 · 1 conference · across top CS/AI conferences
Achievements
Jump to papers ↓
🏃
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)
Papers
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
Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems
IJCAI 2017