Miquel Bofill
4 papers · 2017–2023 · 1 venue · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🏃
Academic Marathon · Sprint
🌉
Interdisciplinary Bridge · Bronze
🐣
Hot Topic Early Bird
Venues
Top co-authors
Research topics
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)
resource constrained scheduling
(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)
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