Life span of SAT techniques
<|reference_start|>Life span of SAT techniques: 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 elimination over the SAT Competitions benchmarks between 2009 and 2022. We study these features by both activating them one-by-one and deactivating them one-by-one. We have three hypothesis regarding the experiments: (i) disabling features is always harmful; (ii) the life span of the techniques is limited; and (iii) features simulate each other. Our experiments cannot confirm any of the hypothesis.<|reference_end|>
@article{fleury2024life,
    title={Life span of SAT techniques},
    author={Mathias Fleury and Daniela Kaufmann},
    journal={arXiv preprint arXiv:2402.01202},
    year={2024},
    archivePrefix={arXiv},
    eprint={2402.01202},
    primaryClass={cs.LO}
}