Jordi Coll

SMT encodings for Resource-Constrained Project Scheduling Problems

Mateu Villaret, Miquel Bofill, Josep Suy, 2020, Comput. Ind. Eng..

Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints

Carlos Ansótegui, Ian Miguel, Mateu Villaret, 2019, CP.

An MDD-based SAT encoding for pseudo-Boolean constraints with at-most-one relations

Mateu Villaret, Miquel Bofill, Josep Suy, 2020, Artificial Intelligence Review.

Intelligent System for Premature Babies Healthcare at Home based on Case-based Reasoning

Jordi Coll, Beatriz López, Natalia Mordvaniuk, 2014, IWBBIO.