Diploma Thesis DIP-2010-02

BibliographyDebatin, Michael: SAT solving modulo nichtlinearer Theorien.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Diploma Thesis No. 2 (2010).
78 pages, german.
Abstract

kein Abstract.

Department(s)University of Stuttgart, Institute of Formal Methods in Computer Science, Formal Concepts
Superviser(s)Nowotka, PD Dr. Dirk
Entry dateAugust 12, 2019
   Publ. Computer Science