Ihalainen, Hannes; Berg, Jeremias; Järvisalo, Matti Clause redundancy and preprocessing in maximum satisfiability. (English) Zbl 07628182 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 75-94 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{H. Ihalainen} et al., Lect. Notes Comput. Sci. 13385, 75--94 (2022; Zbl 07628182) Full Text: DOI OpenURL
Cao, Henrik Hash-based preprocessing and inprocessing techniques in SAT solvers. (English) Zbl 07495567 Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 82-97 (2021). MSC: 68Q25 68R07 68T20 PDF BibTeX XML Cite \textit{H. Cao}, Lect. Notes Comput. Sci. 12831, 82--97 (2021; Zbl 07495567) Full Text: DOI OpenURL