SAT with differential equations
Author
Tomáš Kolárik
Czech Technical University in Prague, Faculty of Information Technology
Supervisor
doc. Dipl.-Ing. Dr. techn. Stefan Ratschan