Miquel Bofill
4 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 (4)
Top co-authors
Keywords
combinatorial optimization
(3)
pseudo-boolean constraint
(2)
constraint satisfaction
(1)
mixed integer programming
(1)
action selection
(1)
smt solving
(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)
parallel planning
(1)
plan encoding
(1)
multi-decision diagram
(1)
resource-constrained scheduling
(1)
boolean decision diagram
(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
Relaxed Exists-Step Plans in Planning as SMT
IJCAI 2017