CaDiCaL 3.0
Florian Pollitt, Mathias Fleury, Katalin Fazekas et al.
· 0 citations
2 papers indexed here
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
2026
Factoring Learned Clauses
This paper revisits previous work on ER, which factors out repeated parts of learned clauses during conflict analysis, and explores how their original strategy benefits from 15 years of improvements in the state-of-the-art solver CaDiCaL, and proposes a new, less intrusive inprocessing approach based on factoring XOR and ITE gates from learned clauses globally.
Florian Pollitt, Zachary Battleman, Mathias Fleury et al.
· International Conference on... · 1 citation