Villaret, Mateu

5 publications

IJCAI 2023 Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem (Extended Abstract) Miquel Bofill, Jordi Coll, Marc Garcia, Jesús Giráldez-Cru, Gilles Pesant, Josep Suy, Mateu Villaret

IJCAI 2023 SAT Encodings for Pseudo-Boolean Constraints Together with At-Most-One Constraints (Extended Abstract) Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret

JAIR 2022 Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem Miquel Bofill, Jordi Coll, Marc Garcia, Jesús Giráldez-Cru, Gilles Pesant, Josep Suy, Mateu Villaret

IJCAI 2017 Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret

IJCAI 2017 Relaxed Exists-Step Plans in Planning as SMT Miquel Bofill, Joan Espasa, Mateu Villaret