DMCA

Efficient solving of quantified inequality constraints over the real numbers

Cached

Download Links

by Stefan Ratschan
Venue:ACM Transactions on Computational Logic
Citations:31 - 9 self