Efficient solving of quantified inequality constraints over the real numbers (0)

by S Ratschan
Venue:ACM Transactions on Computational Logic