Josep Suy

Most-cited papers

Solving constraint satisfaction problems with SAT modulo theories
Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret
2012Constraints56 citations
Semantic Scholar
Satisfiability Modulo Theories: An Efficient Approach for the Resource-Constrained Project Scheduling Problem
Carlos Ansótegui, Miquel Bofill, Miquel Palahí, Josep Suy +1 more
2011Symposium on Abstraction, Reformulation and Approximation34 citations
Semantic Scholar
SMT encodings for Resource-Constrained Project Scheduling Problems
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
2020Computers & industrial engineering31 citations Open access
Semantic Scholar
MaxSAT-Based Scheduling of B2B Meetings
Miquel Bofill, Marc Garcia, Josep Suy, Mateu Villaret
2015Integration of AI and OR Techniques in Constraint Programming26 citations Open access
Semantic Scholar
A System for Solving Constraint Satisfaction Problems with SMT
Miquel Bofill, Josep Suy, Mateu Villaret
2010International Conference on Theory and Applications of Satisfiability Testing25 citations Open access
Semantic Scholar
Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem
Miquel Bofill, Jordi Coll, Marc Garcia, Jesús Giráldez-Cru +3 more
2022Journal of Artificial Intelligence Research19 citations Open access
Semantic Scholar
SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints
Miquel Bofill, Jordi Coll, Peter William Nightingale, Josep Suy +2 more
2021Artificial Intelligence18 citations Open access
Semantic Scholar
Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories
Carlos Ansótegui, Miquel Bofill, Miquel Palahí, Josep Suy +1 more
2012Constraints17 citations Open access
Semantic Scholar
Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
2017International Joint Conference on Artificial Intelligence16 citations Open access
Semantic Scholar
Solving the Multi-Mode Resource-Constrained Project Scheduling Problem with SMT
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
2016IEEE International Conference on Tools with Artificial Intelligence14 citations
Semantic Scholar
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 +6 more
2019International Conference on Principles and Practice of Constraint Programming13 citations Open access
Semantic Scholar
Solving Intensional Weighted CSPs by Incremental Optimization with BDDs
Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret
2014International Conference on Principles and Practice of Constraint Programming13 citations
Semantic Scholar
Scheduling B2B Meetings
Miquel Bofill, Joan Espasa, Marc Garcia, Miquel Palahí +2 more
2014International Conference on Principles and Practice of Constraint Programming13 citations
Semantic Scholar
An MDD-based SAT encoding for pseudo-Boolean constraints with at-most-one relations
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
2020Artificial Intelligence Review9 citations
Semantic Scholar
SAT Encodings of Pseudo-Boolean Constraints with At-Most-One Relations
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
2019Integration of AI and OR Techniques in Constraint Programming9 citations
Semantic Scholar
W-MiniZinc: A Proposal for Modeling Weighted CSPs with MiniZinc
Carlos Ansótegui, Miquel Bofill, Miquel Palahí, Josep Suy +1 more
20119 citations
Semantic Scholar
A Proposal for Solving Weighted CSPs with SMT
Carlos Ansótegui, Miquel Bofill, Miquel Palahí, Josep Suy +1 more
20119 citations
Semantic Scholar
An Efficient SMT Approach to Solve MRCPSP/max Instances with Tight Constraints on Resources
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
2017International Conference on Principles and Practice of Constraint Programming8 citations
Semantic Scholar
SIMPLY: a Compiler from a CSP Modeling Language to the SMT-LIB Format ?
Miquel Bofill, Miquel Palah, Josep Suy, Mateu Villaret
20088 citations
Semantic Scholar
The Sample Analysis Machine Scheduling Problem: Definition and comparison of exact solving approaches
Miquel Bofill, Jordi Coll, G. Martín, Josep Suy +1 more
2022Computers & Operations Research5 citations Open access
Semantic Scholar
The Impact of Implied Constraints on MaxSAT B2B Instances
Miquel Bofill, Jordi Coll, Jesús Giráldez-Cru, Josep Suy +1 more
2022International Journal of Computational Intelligence Systems4 citations Open access
Semantic Scholar
Boosting Weighted CSP Resolution with Shared BDDs?
Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret
20134 citations
Semantic Scholar
A Study on Implied Constraints in a MaxSAT Approach to B2B Problems
Miquel Bofill, Jesús Giráldez-Cru, Josep Suy, Mateu Villaret
2019International Conference of the Catalan Association for Artificial Intelligence2 citations
Semantic Scholar
An exact approach for the prioritization process of industrial influents in wastewater systems
M. Verdaguer, Josep Suy, Mateu Villaret, N. Clara +2 more
2015Clean Technologies and Environmental Policy2 citations
Semantic Scholar
LEARNING STEM WITH MOBILE TECHNOLOGY: EXPERIENCES AND EXAMPLES OF PHYSICS, MATH, CALCULATOR (WITH YOUR FINGERTIPS)!
J. Suñol, Josep Suy, J. Tarrés, T. Tiihonen +1 more
20171 citations
Semantic Scholar
LEARNING PHYSICS WITH MOBILE TECHNOLOGY: EXPERIENCES AND FUTURE DEVELOPMENTS. PHYSICS AT YOUR FINGERTIPS!
J. J. Suñol Martinez, J. M. Güell, L. Montoro, Josep Suy +1 more
20151 citations
Semantic Scholar
A System for Generation and Visualization of Resource-Constrained Projects
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
2014International Conference of the Catalan Association for Artificial Intelligence1 citations
Semantic Scholar
Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories
Carlos Ansótegui, Miquel Bofill, Miquel Palahí, Josep Suy +1 more
2012Constraints1 citations Open access
Semantic Scholar
SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract)
Miquel Bofill, Jordi Coll, Peter William Nightingale, Josep Suy +2 more
2023International Joint Conference on Artificial Intelligence0 citations Open access
Semantic Scholar
Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem (Extended Abstract)
Miquel Bofill, Jordi Coll, Marc Garcia, Jesús Giráldez-Cru +3 more
2023International Joint Conference on Artificial Intelligence0 citations Open access
Semantic Scholar
PHYSICS WITH MOBILE MATH TECHNOLOGY
J. Suñol, J. M. Güell, Josep Suy, J. Tarrés
20160 citations
Semantic Scholar
NEUROSCIENCE, MATH AND MOBILE TECHNOLOGY. LEARNING BENEFITS OF MOBILE MATH TECHNOLOGY. MATH AT YOUR FINGERTIPS!
P. Boadas, Josep Suy, J. Tarrés, Manel Moreno +1 more
20150 citations
Semantic Scholar
An object-oriented approach for teaching visibility computation algorithms
X. Pueyo, Frederic Pérez, J. A. Sellarès, Josep Suy
1996Computers & graphics0 citations
Semantic Scholar