zbMATH — the first resource for mathematics

Found 48 Documents (Results 1–3)

Janota, Mikoláš (ed.) et al., Theory and applications of satisfiability testing – SAT 2019. 22nd international conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-24257-2/pbk; 978-3-030-24258-9/ebook). Lecture Notes in Computer Science 11628, 336-353 (2019).
MSC:  68Q25 68T20
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
Year of Publication