A Faster PSPACE Algorithm for Deciding the Existential Theory of the Reals
Collections
Author
Renegar, J.
Abstract
A Faster PSPACE Algorithm for Deciding the Existential Theory of the Reals
Date Issued
1988-04
Publisher
Cornell University Operations Research and Industrial Engineering
Keywords
Previously Published as
792
Type
technical report