Comments on: A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra

Comments on: A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra http://www.algosyn.rwth-aachen.de hourly 1 http://wordpress.org/?v=3.6.1