An object-oriented approach for teaching visibility computation algorithms. - Xavier Pueyo; Frederic Pérez; Joan Antoni Sellarès; Josep Suy (Comput. Graph., 1996)

A System for Solving Constraint Satisfaction Problems with SMT. - Miquel Bofill; Josep Suy; Mateu Villaret (SAT, 2010)

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)

A satisfiability modulo theories approach to constraint programming. - Josep Suy Franch (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)

A System for Generation and Visualization of Resource-Constrained Projects. - Miquel Bofill; Jordi Coll; Josep Suy; Mateu Villaret (CCIA, 2014)

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)

MaxSAT-Based Scheduling of B2B Meetings. - Miquel Bofill; Marc Garcia; Josep Suy; Mateu Villaret (CPAIOR, 2015)

Solving the Multi-Mode Resource-Constrained Project Scheduling Problem with SMT. - Miquel Bofill; Jordi Coll; Josep Suy; Mateu Villaret (ICTAI, 2016)

An Efficient SMT Approach to Solve MRCPSP/max Instances with Tight Constraints on Resources. - Miquel Bofill; Jordi Coll; Josep Suy; Mateu Villaret (CP, 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)

A Study on Implied Constraints in a MaxSAT Approach to B2B Problems. - Miquel Bofill; Jesús Giráldez-Cru; Josep Suy; Mateu Villaret (CCIA, 2019)

Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints. - Carlos Ansótegui; Miquel Bofill; Jordi Coll; Nguyen Dang 001; Juan Luis Esteban; Ian Miguel; Peter Nightingale; András Z. Salamon; Josep Suy; Mateu Villaret (CP, 2019)

SAT Encodings of Pseudo-Boolean Constraints with At-Most-One Relations. - Miquel Bofill; Jordi Coll; Josep Suy; Mateu Villaret (CPAIOR, 2019)

An MDD-based SAT encoding for pseudo-Boolean constraints with at-most-one relations. - Miquel Bofill; Jordi Coll; Josep Suy; Mateu Villaret (Artif. Intell. Rev., 2020)

SMT encodings for Resource-Constrained Project Scheduling Problems. - Miquel Bofill; Jordi Coll; Josep Suy; Mateu Villaret (Comput. Ind. Eng., 2020)

SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints. - Miquel Bofill; Jordi Coll; Peter Nightingale; Josep Suy; Felix Ulrich-Oltean; Mateu Villaret (Artif. Intell., 2022)

The Sample Analysis Machine Scheduling Problem: Definition and comparison of exact solving approaches. - Miquel Bofill; Jordi Coll; Gerard Martín; Josep Suy; Mateu Villaret (Comput. Oper. Res., 2022)

The Impact of Implied Constraints on MaxSAT B2B Instances. - Miquel Bofill; Jordi Coll; Jesús Giráldez-Cru; Josep Suy; Mateu Villaret (Int. J. Comput. Intell. Syst., 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 (J. Artif. Intell. Res., 2022)

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 (IJCAI, 2023)