Statistics
Publications
7
Citations
95
H-Index
7
Active since
2016
Jordi Coll is an author at Universitat de Girona specializing in mathematical programming, computer science, and computational complexity.
Publications per year
2016–2022
7
7
Solving the Multi-Mode Resource-Constrained Project Scheduling Problem with SMT
Miquel Bofill, Jordi Coll, Josep Suy et al. · 2016 · 12 citations
Mathematical Programming, Engineering, Project Scheduling +19
SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints
Miquel Bofill, Jordi Coll, Peter Nightingale et al. · Artificial Intelligence · 2021 · 12 citations · Full text
Boosting branch-and-bound MaxSAT solvers with clause learning
Chu-Min Li, Zhenxing Xu, Jordi Coll et al. · AI Communications · 2021 · 12 citations
1–5 of 7