Efficient Preprocessing Methods for Quantifier Elimination

Christopher W. Brown, Christian Gross. Efficient Preprocessing Methods for Quantifier Elimination. In Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov, editors, Computer Algebra in Scientific Computing, 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings. Volume 4194 of Lecture Notes in Computer Science, pages 89-100, Springer, 2006. [doi]

Authors

Christopher W. Brown

This author has not been identified. Look up 'Christopher W. Brown' in Google

Christian Gross

This author has not been identified. Look up 'Christian Gross' in Google