Export Citations
1 Results for: Keyword: formula simplification
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,846,497 records)|Limit your search to The ACM Full-Text Collection (775,932 records)
Select All
- research-articleJuly 2017
Formula Simplification for Real Quantifier Elimination Using Geometric Invariance
ISSAC '17: Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic ComputationPages 213–220https://doi.org/10.1145/3087604.3087627Formulating a simple and adequate quantified first-order formula is crucial for applying real quantifier elimination (QE) efficiently. In general, generating simple formulas or simplifying formulas for efficient QE involves human interaction. In this ...
