Satisfiability Modulo Theories: An Efficient Approach for the Resource-Constrained Project Scheduling Problem. - Carlos Ansótegui; Miquel Bofill; Miquel Palahí; Josep Suy; Mateu Villaret (SARA, 2011)

Solving constraint satisfaction problems with SAT modulo theories. - Miquel Bofill; Miquel Palahí; Josep Suy; Mateu Villaret (Constraints An Int. J., 2012)

Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories. - Carlos Ansótegui; Miquel Bofill; Miquel Palahí; Josep Suy; Mateu Villaret (Constraints An Int. J., 2013)

Scheduling B2B Meetings. - Miquel Bofill; Joan Espasa; Marc Garcia; Miquel Palahí; Josep Suy; Mateu Villaret (CP, 2014)

Solving Intensional Weighted CSPs by Incremental Optimization with BDDs. - Miquel Bofill; Miquel Palahí; Josep Suy; Mateu Villaret (CP, 2014)

Reformulation of constraint models into SMT. - Miquel Palahí (2015)