×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Strichman, Ofer (ed.) et al., Theory and applications of satisfiability testing -- SAT 2010. 13th international conference, SAT 2010, Edinburgh, UK, July 11--14, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14185-0/pbk). Lecture Notes in Computer Science 6175, 128-142 (2010).
BibTeX Cite
Full Text: DOI
WorldCat.org
Aagaard, Mark D. (ed.) et al., Formal methods in computer-aided design. 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2517, 33-51 (2002).
MSC:  68U07 68Q60
BibTeX Cite
Full Text: Link
WorldCat.org

Filter Results by …

Author
Year of Publication
Classification
Software