×

Found 11 Documents (Results 1–11)

Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. (English) Zbl 1482.68030

Lecture Notes in Computer Science 12831. Cham: Springer (ISBN 978-3-030-80222-6/pbk; 978-3-030-80223-3/ebook). xi, 564 p. (2021).
PDFBibTeX XMLCite
Full Text: DOI

A tableau calculus for non-clausal maximum satisfiability. (English) Zbl 1435.68372

Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 58-73 (2019).
MSC:  68V15 03B05 68R07
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field