Josep Suy

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 15

Top Topics

Satisfiability Modulo Theories

Constraint Solving

Top Venues

Publications

Miquel Bofill, Jordi Coll, Marc Garcia, Jesús Giráldez-Cru, Gilles Pesant, Josep Suy, Mateu Villaret
Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem (Extended Abstract). IJCAI (2023)
Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret
SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract). IJCAI (2023)
Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret
SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints. Artif. Intell. 302 (2022)
Miquel Bofill, Jordi Coll, Marc Garcia, Jesús Giráldez-Cru, Gilles Pesant, Josep Suy, Mateu Villaret
Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem. J. Artif. Intell. Res. 74 (2022)
Miquel Bofill, Jordi Coll, Jesús Giráldez-Cru, Josep Suy, Mateu Villaret
The Impact of Implied Constraints on MaxSAT B2B Instances. Int. J. Comput. Intell. Syst. 15 (1) (2022)
Miquel Bofill, Jordi Coll, Gerard Martín, Josep Suy, Mateu Villaret
The Sample Analysis Machine Scheduling Problem: Definition and comparison of exact solving approaches. Comput. Oper. Res. 142 (2022)
Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret
SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints. CoRR (2021)
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
An MDD-based SAT encoding for pseudo-Boolean constraints with at-most-one relations. Artif. Intell. Rev. 53 (7) (2020)
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
SMT encodings for Resource-Constrained Project Scheduling Problems. Comput. Ind. Eng. 149 (2020)
Carlos Ansótegui, Miquel Bofill, Jordi Coll, Nguyen Dang, Juan Luis Esteban, Ian Miguel, Peter Nightingale, András Z. Salamon, Josep Suy, Mateu Villaret
Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints. CP (2019)
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
SAT Encodings of Pseudo-Boolean Constraints with At-Most-One Relations. CPAIOR (2019)
Miquel Bofill, Jesús Giráldez-Cru, Josep Suy, Mateu Villaret
A Study on Implied Constraints in a MaxSAT Approach to B2B Problems. CCIA (2019)
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems. IJCAI (2017)
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
An Efficient SMT Approach to Solve MRCPSP/max Instances with Tight Constraints on Resources. CP (2017)
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
Solving the Multi-Mode Resource-Constrained Project Scheduling Problem with SMT. ICTAI (2016)
Miquel Bofill, Marc Garcia, Josep Suy, Mateu Villaret
MaxSAT-Based Scheduling of B2B Meetings. CPAIOR (2015)
Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret
Solving Intensional Weighted CSPs by Incremental Optimization with BDDs. CP (2014)
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
A System for Generation and Visualization of Resource-Constrained Projects. CCIA (2014)
Miquel Bofill, Joan Espasa, Marc Garcia, Miquel Palahí, Josep Suy, Mateu Villaret
Scheduling B2B Meetings. CP (2014)
Carlos Ansótegui, Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret
Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories. Constraints An Int. J. 18 (2) (2013)
Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret
Solving constraint satisfaction problems with SAT modulo theories. Constraints An Int. J. 17 (3) (2012)
Carlos Ansótegui, Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret
Satisfiability Modulo Theories: An Efficient Approach for the Resource-Constrained Project Scheduling Problem. SARA (2011)
Miquel Bofill, Josep Suy, Mateu Villaret
A System for Solving Constraint Satisfaction Problems with SMT. SAT (2010)
Xavier Pueyo, Frederic Pérez, Joan Antoni Sellarès, Josep Suy
An object-oriented approach for teaching visibility computation algorithms. Comput. Graph. 20 (4) (1996)