Follow
Jordi Coll
Title
Cited by
Cited by
Year
Combining clause learning and branch and bound for MaxSAT
CM Li, Z Xu, J Coll, F Manyà, D Habet, K He
27th International Conference on Principles and Practice of Constraint …, 2021
342021
SMT encodings for Resource-Constrained Project Scheduling Problems
M Bofill, J Coll, J Suy, M Villaret
Computers & Industrial Engineering 149, 106777, 2020
202020
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
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
Boosting branch-and-bound MaxSAT solvers with clause learning
CM Li, Z Xu, J Coll, F Manyà, D Habet, K He
AI Communications 35 (2), 131-151, 2022
152022
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
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
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
Context-aware case-based reasoning
A Pla, J Coll, N Mordvaniuk, B López
Mining Intelligence and Knowledge Exploration: Second International …, 2014
82014
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
Towards lifted encodings for numeric planning in Essence Prime
J Espasa, J Coll, I Miguel, M Villaret
CP 2019 Workshop on Constraint Modelling and Reformulation, 2019
72019
Intelligent systems for supporting premature babies healthcare with mobile devices
B López, J Coll, F Gamero, E BargallLó, A López-Bermejo
Mobilemed, 2013
42013
The Sample Analysis Machine Scheduling Problem: Definition and comparison of exact solving approaches
M Bofill, J Coll, G Martín, J Suy, M Villaret
Computers & Operations Research 142, 105730, 2022
32022
Context management in health care apps.
A Pla, B López, J Coll, N Mordvaniuk, A López-Bermejo
MIE, 1207, 2014
32014
A System for Generation and Visualization of Resource-Constrained Projects.
M Bofill, J Coll, J Suy, M Villaret
CCIA, 237-246, 2014
22014
MaxSAT resolution for regular propositional logic
J Coll, CM Li, F Manyà, E Yangin
International Journal of Approximate Reasoning 162, 109010, 2023
12023
A Tableau Calculus for MaxSAT Based on Resolution
A Cortés
Artificial Intelligence Research and Development: Proceedings of the 24th …, 2022
12022
The Impact of Implied Constraints on MaxSAT B2B Instances
M Bofill, J Coll, J Giráldez-Cru, J Suy, M Villaret
International Journal of Computational Intelligence Systems 15 (1), 63, 2022
12022
The system can't perform the operation now. Try again later.
Articles 1–20