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. Computer Science