Top

Published in:

Open Access 26-04-2017

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

Author: Thomas Sturm

Title: A Survey of Some Methods for Real Quantifier Elimination, Decision, and Satisfiability and Their Applications
Author: Thomas Sturm
Publication date: 26-04-2017
Publisher: Springer International Publishing
Published in: Mathematics in Computer Science / Issue 3-4/2017
Print ISSN: 1661-8270
Electronic ISSN: 1661-8289
DOI: https://doi.org/10.1007/s11786-017-0319-z

Premium Partner