Jordi Coll

39 papers A* 7A 3B 2Journal 14Unranked 12
YearRankTypeTitle / Venue / Authors
2026 A* conf
Certified Branch-and-Bound MaxSAT Solving.
AAAI
Dieter Vandesande, Jordi Coll, Bart Bogaerts
2025 — conf
A Complete Tableau Calculus for Signed MaxSAT.
ISMVL
Jordi Coll, Chu Min Li, Felip Manyà, Elifnaz Yangin
2025 J jnl
Certified Branch-and-Bound MaxSAT Solving (Extended Version).
CoRR
Dieter Vandesande, Jordi Coll, Bart Bogaerts
2025 J jnl
Complete tableau calculi for Regular MaxSAT and Regular MinSAT.
Cogn. Syst. Res.
Jordi Coll, Chu Min Li, Felip Manyà, Elifnaz Yangin
2025 A* conf
Improving the Lower Bound in Branch-and-Bound Algorithms for MaxSAT.
AAAI
Shuolin Li, Chu-Min Li, Jordi Coll, Djamal Habet, Felip Manyà
2025 J jnl
Solving weighted Maximum Satisfiability with Branch and Bound and clause learning.
Comput. Oper. Res.
Jordi Coll, Chu Min Li, Shuolin Li, Djamal Habet, Felip Manyà
2024 — conf
A Complete Tableau Calculus for Non-Clausal Regular MinSAT.
CCIA
Jordi Coll, Chu Min Li, Felip Manyà, Elifnaz Yangin
2024 — conf
A Tableau Calculus for Non-Clausal Regular MaxSAT.
ISMVL
Jordi Coll, Chu Min Li, Felip Manyà, Elifnaz Yangin
2024 J jnl
Optimizing resource allocation in home care services using MaxSAT.
Cogn. Syst. Res.
Irene Unceta, Bernat Salbanya, Jordi Coll, Mateu Villaret, Jordi Nin
2023 — conf
A Complete Tableau Calculus for the Regular MaxSAT Problem.
CCIA
Jordi Coll, Chu-Min Li, Felip Manyà, Elifnaz Yangin
2023 A* conf
A New Variable Ordering for In-processing Bounded Variable Elimination in SAT Solvers.
IJCAI
Shuolin Li, Chu-Min Li, Mao Luo, Jordi Coll, Djamal Habet, Felip Manyà
2023 — conf
A Tableau Calculus for Signed Maximum Satisfiability.
ISMVL
Shuolin Li, Jordi Coll, Djamal Habet, Chu Min Li, Felip Manyà
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 J jnl
MaxSAT resolution for regular propositional logic.
Int. J. Approx. Reason.
Jordi Coll, Chu-Min Li, Felip Manyà, Elifnaz Yangin
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
2023 — conf
SAT-IT: The Interactive SAT Tracer.
CCIA
Marc Cané, Jordi Coll, Marc Rojo, Mateu Villaret
2022 — conf
A Tableau Calculus for MaxSAT Based on Resolution.
CCIA
Shoulin Li, Jordi Coll, Djamal Habet, Chu-Min Li, Felip Manyà
2022 J jnl
Boosting branch-and-bound MaxSAT solvers with clause learning.
AI Commun.
Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He
2022 A* conf
Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract).
IJCAI
Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He
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
A Preliminary Case Study of Planning With Complex Transitions: Plotting.
CoRR
Jordi Coll, Joan Espasa, Ian Miguel, Mateu Villaret
2021 A conf
Combining Clause Learning and Branch and Bound for MaxSAT.
CP
Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He
2021 — conf
Exploring Lifted Planning Encodings in Essence Prime.
CCIA
Joan Espasa, Jordi Coll, Ian Miguel, 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 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
2019 — —
Scheduling through logic-based tools.
Jordi Coll
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
2014 — conf
A System for Generation and Visualization of Resource-Constrained Projects.
CCIA
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
2014 — conf
Context Management in Health Care Apps.
MIE
Albert Pla, Beatriz López, Jordi Coll, Natalia Mordvaniuk, Abel López-Bermejo
2014 — conf
Context-Aware Case-Based Reasoning.
MIKE
Albert Pla, Jordi Coll, Natalia Mordvaniuk, Beatriz López
2014 — conf
Intelligent System for Premature Babies Healthcare at Home based on Case-based Reasoning.
IWBBIO
Beatriz López, Francisco Gamero, Jordi Coll, Natalia Mordvaniuk, Judit Bassols, Eva Bargallo, Borja Guarch, Abel López-Bermejo