Jordi Coll

According to our database, Jordi Coll authored at least 29 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

MaxSAT resolution for regular propositional logic.

Jordi Coll, Chu-Min Li, Felip Manyà, Elifnaz Yangin

Int. J. Approx. Reason., November, 2023

A Tableau Calculus for Signed Maximum Satisfiability.

Shuolin Li, Jordi Coll, Djamal Habet, Chu Min Li, Felip Manyà

Proceedings of the 53rd IEEE International Symposium on Multiple-Valued Logic, 2023

A New Variable Ordering for In-processing Bounded Variable Elimination in SAT Solvers.

Shuolin Li, Chu-Min Li, Mao Luo, Jordi Coll, Djamal Habet, Felip Manyà

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract).

Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem (Extended Abstract).

Miquel Bofill, Jordi Coll, Marc Garcia, Jesús Giráldez-Cru, Gilles Pesant, Josep Suy, Mateu Villaret

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

A Complete Tableau Calculus for the Regular MaxSAT Problem.

Jordi Coll, Chu-Min Li, Felip Manyà, Elifnaz Yangin

Proceedings of the Artificial Intelligence Research and Development, 2023

SAT-IT: The Interactive SAT Tracer.

Marc Cané, Jordi Coll, Marc Rojo, Mateu Villaret

Proceedings of the Artificial Intelligence Research and Development, 2023

2022

Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem.

Miquel Bofill, Jordi Coll, Marc Garcia, Jesús Giráldez-Cru, Gilles Pesant, Josep Suy, Mateu Villaret

J. Artif. Intell. Res., 2022

The Impact of Implied Constraints on MaxSAT B2B Instances.

Miquel Bofill, Jordi Coll, Jesús Giráldez-Cru, Josep Suy, Mateu Villaret

Int. J. Comput. Intell. Syst., 2022

The Sample Analysis Machine Scheduling Problem: Definition and comparison of exact solving approaches.

Miquel Bofill, Jordi Coll, Gerard Martín, Josep Suy, Mateu Villaret

Comput. Oper. Res., 2022

Boosting branch-and-bound MaxSAT solvers with clause learning.

Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He

AI Commun., 2022

SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints.

Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret

Artif. Intell., 2022

Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract).

Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

A Tableau Calculus for MaxSAT Based on Resolution.

Shoulin Li, Jordi Coll, Djamal Habet, Chu-Min Li, Felip Manyà

Proceedings of the Artificial Intelligence Research and Development, 2022

2021

A Preliminary Case Study of Planning With Complex Transitions: Plotting.

Jordi Coll, Joan Espasa, Ian Miguel, Mateu Villaret

CoRR, 2021

Combining Clause Learning and Branch and Bound for MaxSAT.

Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

Exploring Lifted Planning Encodings in Essence Prime.

Joan Espasa, Jordi Coll, Ian Miguel, Mateu Villaret

Proceedings of the Artificial Intelligence Research and Development, 2021

2020

SMT encodings for Resource-Constrained Project Scheduling Problems.

Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret

Comput. Ind. Eng., 2020

An MDD-based SAT encoding for pseudo-Boolean constraints with at-most-one relations.

Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret

Artif. Intell. Rev., 2020

2019

Scheduling through logic-based tools.

Jordi Coll

PhD thesis, 2019

SAT Encodings of Pseudo-Boolean Constraints with At-Most-One Relations.

Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

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, Juan Luis Esteban, Ian Miguel, Peter Nightingale, András Z. Salamon, Josep Suy, Mateu Villaret

Proceedings of the Principles and Practice of Constraint Programming, 2019

2017

Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems.

Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

An Efficient SMT Approach to Solve MRCPSP/max Instances with Tight Constraints on Resources.

Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret

Proceedings of the Principles and Practice of Constraint Programming, 2017

2016

Solving the Multi-Mode Resource-Constrained Project Scheduling Problem with SMT.

Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret

Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

2014

Context-Aware Case-Based Reasoning.

Albert Pla, Jordi Coll, Natalia Mordvaniuk, Beatriz López

Proceedings of the Mining Intelligence and Knowledge Exploration, 2014

Context Management in Health Care Apps.

Albert Pla, Beatriz López, Jordi Coll, Natalia Mordvaniuk, Abel López-Bermejo

Proceedings of the e-Health - For Continuity of Care - Proceedings of MIE2014, the 25th European Medical Informatics Conference, Istanbul, Turkey, August 31, 2014

Intelligent System for Premature Babies Healthcare at Home based on Case-based Reasoning.

Beatriz López, Francisco Gamero, Jordi Coll, Natalia Mordvaniuk, Judit Bassols, Eva Bargallo, Borja Guarch, Abel López-Bermejo

Proceedings of the International Work-Conference on Bioinformatics and Biomedical Engineering, 2014

A System for Generation and Visualization of Resource-Constrained Projects.

Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret

Proceedings of the Artificial Intelligence Research and Development, 2014