Master Thesis MSTR-3120

BibliographyTraub, Johannes: Program Analysis and Probabilistic SAT-solving.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Master Thesis No. 3120 (2010).
65 pages, english.
CR-SchemaF.3.2 (Semantics of Programming Languages)
 G.3 (Probability and Statistics)
Abstract

abstractstyp ist falsch

Full text and
other links		PDF (453005 Bytes)
Department(s)University of Stuttgart, Institute of Formal Methods in Computer Science, Theoretical Computer Science
Entry dateMarch 24, 2014
   Publ. Computer Science