×

zbMATH — the first resource for mathematics

Found 9 Documents (Results 1–9)

100
MathJax
Creignou, Nadia (ed.) et al., Theory and applications of satisfiability testing – SAT 2016. 19th international conference, Bordeaux, France, July 5–8, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40969-6/pbk; 978-3-319-40970-2/ebook). Lecture Notes in Computer Science 9710, 302-320 (2016).
MSC:  68Q25 68T20
PDF BibTeX XML Cite
Full Text: DOI
Bieliková, Mária (ed.) et al., SOFSEM 2012: Theory and practice of computer science. 38th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 21–27, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27659-0/pbk). Lecture Notes in Computer Science 7147, 612-624 (2012).
MSC:  68T20
PDF BibTeX XML Cite
Full Text: DOI