Diploma Thesis DIP-2010-02
Bibliography
Debatin, 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 date
August 12, 2019
Publ. Institute
 
Publ. Computer Science