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)

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