2 papers
cs.LO2026
SAT-IT: an Online Interactive SAT Tracer
Wilber Bermeo, Jordi Coll, Pau Ferrer +1
Modern Boolean Satisfiability (SAT) solvers, based on the Conflict-Driven Clause Learning (CDCL) paradigm, achieve state-of-the-art efficiency but present a steep learning curve du…
cs.LO2025
Certified Branch-and-Bound MaxSAT Solving (Extended Version)
Dieter Vandesande, Jordi Coll, Bart Bogaerts
Over the past few decades, combinatorial solvers have seen remarkable performance improvements, enabling their practical use in real-world applications. In some of these applicatio…