×

Found 2 Documents (Results 1–2)

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
Full Text: DOI

Filter Results by …

Year of Publication

Main Field

Software