4 citations · 5 across the 2 of their papers we have counts for
2 papers
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…
cs.LO2022★ 4 cited
Scalable Proof Producing Multi-Threaded SAT Solving with Gimsatul through Sharing instead of Copying Clauses
Mathias Fleury, Armin Biere
We give a first account of our new parallel SAT solver Gimsatul. Its key feature is to share clauses physically in memory instead of copying them, which is the method of other stat…