Josep Suy

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