Jordi Coll

Available identifiers

zbMath Open coll.jordiMaRDI QIDQ2060733

List of research outcomes

Publication	Date of Publication	Type
MaxSAT resolution for regular propositional logic	2023-11-16	Paper
Boosting branch-and-bound MaxSAT solvers with clause learning	2022-09-16	Paper
Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem	2022-08-02	Paper
The sample analysis machine scheduling problem: definition and comparison of exact solving approaches	2022-06-22	Paper
SAT encodings for pseudo-Boolean constraints together with at-most-one constraints	2021-12-13	Paper
SAT encodings of pseudo-Boolean constraints with at-most-one relations	2019-10-14	Paper

Research outcomes over time

This page was built for person: Jordi Coll