@InProceedings{,
  author = 	 {Tom{'a}{\v s} Kol{\'a}rik and Stefan Ratschan},
  title = 	 {{SAT} Modulo Differential Equation Simulations},
  booktitle = {Tests and Proofs},
  year = 	 2020,
  editor = 	 {W. Ahrendt and H. Wehrheim},
  series = 	 {LNCS},
  volume =       {12165},
  publisher = {Springer}}