A Survey of Some Methods for Real Quantifier Elimination, Decision, and Satisfiability and Their Applications
Sign Up to like & getrecommendations! Published in 2017 at "Mathematics in Computer Science"
DOI: 10.1007/s11786-017-0319-z
Abstract: Effective quantifier elimination procedures for first-order theories provide a powerful tool for generically solving a wide range of problems based on logical specifications. In contrast to general first-order provers, quantifier elimination procedures are based on… read more here.
Keywords: decision; quantifier elimination; survey methods; methods real ... See more keywords