A Survey of Some Methods for Real Quantifier Elimination, Decision, and Satisfiability and Their Applications
Mathematics in Computer Science - Switzerland
doi 10.1007/s11786-017-0319-z
Full Text
Open PDFAbstract
Available in full text
Date
April 26, 2017
Authors
Publisher
Springer Science and Business Media LLC