Florian Corzilius

corzilius
Email
corzilius at cs.rwth-aachen.de
Phone
+49 241 80 21243
Address
Room 4228
Ahornstra├če 55
D-52074 Aachen

Research

  • (Non)linear real and integer arithmetic
  • SMT solving
  • Virtual substitution method
  • Simplex
  • Interval constraint propagation

Research

An open source C++ toolbox for strategic and parallel SMT solving.
Available at:
https://github.com/smtrat/smtrat/wiki