SAT with differential equations

Author

Tomáš Kolárik
Czech Technical University in Prague, Faculty of Information Technology

doc. Dipl.-Ing. Dr. techn. Stefan Ratschan

Abstract Thesis