1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2025★ 1 cited
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★ 1 cited
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…