Sturm, Thomas A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications. (English) Zbl 1425.68380 Math. Comput. Sci. 11, No. 3-4, 483-502 (2017). MSC: 68T15 03B35 03C10 14P05 68W30 92C37 92E20 PDFBibTeX XMLCite \textit{T. Sturm}, Math. Comput. Sci. 11, No. 3--4, 483--502 (2017; Zbl 1425.68380) Full Text: DOI
Hladík, Milan; Ratschan, Stefan Efficient solution of a class of quantified constraints with quantifier prefix exists-forall. (English) Zbl 1302.65118 Math. Comput. Sci. 8, No. 3-4, 329-340 (2014). MSC: 65G20 65H20 65G30 PDFBibTeX XMLCite \textit{M. Hladík} and \textit{S. Ratschan}, Math. Comput. Sci. 8, No. 3--4, 329--340 (2014; Zbl 1302.65118) Full Text: DOI arXiv