A Survey of Some Methods for Real Quantifier Elimination, Decision, and Satisfiability and Their Applications.

Published in: Math. Comput. Sci. (2017)

Keyphrases