Jordi Coll

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 25

Top Topics

Tableau Calculus

Variable Elimination

Clause Learning

Scheduling Problem

Top Venues

Publications

Shuolin Li, Jordi Coll, Djamal Habet, Chu Min Li, Felip Manyà
A Tableau Calculus for Signed Maximum Satisfiability. ISMVL (2023)
Shuolin Li, Chu-Min Li, Mao Luo, Jordi Coll, Djamal Habet, Felip Manyà
A New Variable Ordering for In-processing Bounded Variable Elimination in SAT Solvers. IJCAI (2023)
Marc Cané, Jordi Coll, Marc Rojo, Mateu Villaret
SAT-IT: The Interactive SAT Tracer. CCIA (2023)
Miquel Bofill, Jordi Coll, Marc Garcia, Jesús Giráldez-Cru, Gilles Pesant, Josep Suy, Mateu Villaret
Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem (Extended Abstract). IJCAI (2023)
Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret
SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract). IJCAI (2023)
Jordi Coll, Chu-Min Li, Felip Manyà, Elifnaz Yangin
A Complete Tableau Calculus for the Regular MaxSAT Problem. CCIA (2023)
Jordi Coll, Chu-Min Li, Felip Manyà, Elifnaz Yangin
MaxSAT resolution for regular propositional logic. Int. J. Approx. Reason. 162 (2023)
Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret
SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints. Artif. Intell. 302 (2022)
Miquel Bofill, Jordi Coll, Marc Garcia, Jesús Giráldez-Cru, Gilles Pesant, Josep Suy, Mateu Villaret
Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem. J. Artif. Intell. Res. 74 (2022)
Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He
Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract). IJCAI (2022)
Miquel Bofill, Jordi Coll, Jesús Giráldez-Cru, Josep Suy, Mateu Villaret
The Impact of Implied Constraints on MaxSAT B2B Instances. Int. J. Comput. Intell. Syst. 15 (1) (2022)
Miquel Bofill, Jordi Coll, Gerard Martín, Josep Suy, Mateu Villaret
The Sample Analysis Machine Scheduling Problem: Definition and comparison of exact solving approaches. Comput. Oper. Res. 142 (2022)
Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He
Boosting branch-and-bound MaxSAT solvers with clause learning. AI Commun. 35 (2) (2022)
Shoulin Li, Jordi Coll, Djamal Habet, Chu-Min Li, Felip Manyà
A Tableau Calculus for MaxSAT Based on Resolution. CCIA (2022)
Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He
Combining Clause Learning and Branch and Bound for MaxSAT. CP (2021)
Joan Espasa, Jordi Coll, Ian Miguel, Mateu Villaret
Exploring Lifted Planning Encodings in Essence Prime. CCIA (2021)
Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret
SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints. CoRR (2021)
Jordi Coll, Joan Espasa, Ian Miguel, Mateu Villaret
A Preliminary Case Study of Planning With Complex Transitions: Plotting. CoRR (2021)
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
An MDD-based SAT encoding for pseudo-Boolean constraints with at-most-one relations. Artif. Intell. Rev. 53 (7) (2020)
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
SMT encodings for Resource-Constrained Project Scheduling Problems. Comput. Ind. Eng. 149 (2020)
Carlos Ansótegui, Miquel Bofill, Jordi Coll, Nguyen Dang, Juan Luis Esteban, Ian Miguel, Peter Nightingale, András Z. Salamon, Josep Suy, Mateu Villaret
Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints. CP (2019)
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
SAT Encodings of Pseudo-Boolean Constraints with At-Most-One Relations. CPAIOR (2019)
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems. IJCAI (2017)
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
An Efficient SMT Approach to Solve MRCPSP/max Instances with Tight Constraints on Resources. CP (2017)
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
Solving the Multi-Mode Resource-Constrained Project Scheduling Problem with SMT. ICTAI (2016)
Albert Pla, Beatriz López, Jordi Coll, Natalia Mordvaniuk, Abel López-Bermejo
Context Management in Health Care Apps. MIE (2014)
Beatriz López, Francisco Gamero, Jordi Coll, Natalia Mordvaniuk, Judit Bassols, Eva Bargallo, Borja Guarch, Abel López-Bermejo
Intelligent System for Premature Babies Healthcare at Home based on Case-based Reasoning. IWBBIO (2014)
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
A System for Generation and Visualization of Resource-Constrained Projects. CCIA (2014)
Albert Pla, Jordi Coll, Natalia Mordvaniuk, Beatriz López
Context-Aware Case-Based Reasoning. MIKE (2014)