Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025
Lazy Reimplication in Chronological Backtracking
Robin Coutelier, Mathias Fleury, Laura Kovács
Chronological backtracking is an interesting SAT solving technique within CDCL reasoning, as it backtracks less aggressively upon conflicts. However, chronological backtracking is…
cs.LO2024
Life span of SAT techniques
Mathias Fleury, Daniela Kaufmann
In this paper we take 4 different features of the SAT solver CaDiCaL, blocked clause elimination, vivification, on-the-fly self subsumption, and increasing the bound of variable el…