Miquel Bofill

4 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 (4)

Top co-authors

Mateu Villaret (4) Josep Suy (3) Jordi Coll (3) Peter Nightingale (1) Felix Ulrich-Oltean (1) Marc Garcia (1) Joan Espasa (1) Jesús Giráldez-Cru (1) Gilles Pesant (1)

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