Josep Suy

Solving constraint satisfaction problems with SAT modulo theories

Miquel Bofill, Miquel Palahí, Josep Suy et al. · Constraints · 2012 · 43 citations

Constraint Solving, Engineering, Automated Reasoning +6

Satisfiability Modulo Theories: An Efficient Approach for the Resource-Constrained Project Scheduling Problem

Carlos Ansótegui, Miquel Bofill, Miquel Palahí et al. · Symposium on Abstraction, Reformulation and Approximation · 2011 · 30 citations

Mathematical Programming, Engineering, Project Scheduling +23

SMT encodings for Resource-Constrained Project Scheduling Problems

Miquel Bofill, Jordi Coll, Josep Suy et al. · Computers & Industrial Engineering · 2020 · 22 citations · Full text

Mathematical Programming, Engineering, Project Scheduling +23

Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem

Miquel Bofill, Jordi Coll, Marc Garcia et al. · Journal of Artificial Intelligence Research · 2022 · 16 citations · Full text

Mathematical Programming, Engineering, Computational Complexity +19

Solving the Multi-Mode Resource-Constrained Project Scheduling Problem with SMT

Miquel Bofill, Jordi Coll, Josep Suy et al. · 2016 · 12 citations

Mathematical Programming, Engineering, Project Scheduling +19