Follow
Josep Suy
Josep Suy
Professor Titular (TU), Universitat de Girona
Verified email at ima.udg.edu
Title
Cited by
Cited by
Year
Solving constraint satisfaction problems with SAT modulo theories
M Bofill, M Palahí, J Suy, M Villaret
Constraints, 1-31, 2012
612012
Satisfiability modulo theories: An efficient approach for the resource-constrained project scheduling problem
C Ansótegui, M Bofill, M Palahı, J Suy, M Villaret
Proceedings of the 9th Symposium on Abstraction, Reformulation and …, 2011
452011
A system for solving constraint satisfaction problems with SMT
M Bofill, J Suy, M Villaret
Theory and Applications of Satisfiability Testing–SAT 2010: 13th …, 2010
342010
MaxSAT-based scheduling of B2B meetings
M Bofill, M Garcia, J Suy, M Villaret
Integration of AI and OR Techniques in Constraint Programming: 12th …, 2015
322015
SIMPLY: a Compiler from a CSP Modeling Language to the SMT-LIB Format
M Bofill, M Palahı, J Suy, M Villaret
Proceedings of the 8th international workshop on constraint modelling and …, 2009
232009
SMT encodings for resource-constrained project scheduling problems
M Bofill, J Coll, J Suy, M Villaret
Computers & Industrial Engineering 149, 106777, 2020
202020
Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories
C Ansótegui, M Bofill, M Palahí, J Suy, M Villaret
Constraints 18, 236-268, 2013
192013
Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems.
M Bofill, J Coll, J Suy, M Villaret
IJCAI, 555-562, 2017
172017
Scheduling B2B meetings
M Bofill, J Espasa, M Garcia, M Palahí, J Suy, M Villaret
Principles and Practice of Constraint Programming: 20th International …, 2014
172014
Automatic detection of at-most-one and exactly-one relations for improved SAT encodings of pseudo-boolean constraints
C Ansótegui, M Bofill, J Coll, N Dang, JL Esteban, I Miguel, P Nightingale, ...
Principles and Practice of Constraint Programming: 25th International …, 2019
162019
Solving the multi-mode resource-constrained project scheduling problem with SMT
M Bofill, J Coll, J Suy, M Villaret
2016 IEEE 28th international conference on tools with artificial …, 2016
162016
Solving intensional weighted CSPs by incremental optimization with BDDs
M Bofill, M Palahí, J Suy, M Villaret
Principles and Practice of Constraint Programming: 20th International …, 2014
132014
SAT encodings of pseudo-boolean constraints with at-most-one relations
M Bofill, J Coll, J Suy, M Villaret
Integration of Constraint Programming, Artificial Intelligence, and …, 2019
122019
A proposal for solving weighted CSPs with SMT
C Ansótegui, M Bofill, M Palahı, J Suy, M Villaret
Proceedings of the 10th international workshop on constraint modelling and …, 2011
122011
Constraint solving approaches to the business-to-business meeting scheduling problem
M Bofill, J Coll, M Garcia, J Giráldez-Cru, G Pesant, J Suy, M Villaret
Journal of Artificial Intelligence Research 74, 263-301, 2022
112022
W-MiniZinc: A proposal for modeling weighted CSPs with MiniZinc
C Ansótegui, M Bofill, M Palahı, J Suy, M Villaret
Proceedings of the 1st International Workshop on MiniZinc (MZN 2011), 2011
92011
An MDD-based SAT encoding for pseudo-Boolean constraints with at-most-one relations
M Bofill, J Coll, J Suy, M Villaret
Artificial Intelligence Review 53, 5157-5188, 2020
82020
An efficient SMT approach to solve MRCPSP/max instances with tight constraints on resources
M Bofill, J Coll, J Suy, M Villaret
Principles and Practice of Constraint Programming: 23rd International …, 2017
82017
SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints
M Bofill, J Coll, P Nightingale, J Suy, F Ulrich-Oltean, M Villaret
Artificial Intelligence 302, 103604, 2022
72022
Boosting weighted csp resolution with shared bdds
M Bofill, M Palahı, J Suy, M Villaret
Proceedings of the 12th International Workshop on Constraint Modelling and …, 2013
42013
The system can't perform the operation now. Try again later.
Articles 1–20