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
New Report
New Article
New Monograph
Computer Science