39 citations · 41 across the 2 of their papers we have counts for
2 papers
cs.SC2016★ 39 cited
Satisfiability Checking meets Symbolic Computation (Project Paper)
E. Abraham, J. Abbott, B. Becker +12
Symbolic Computation and Satisfiability Checking are two research areas, both having their individual scientific focus but sharing also common interests in the development, impleme…
cs.SC2015★ 2 cited
A Generalized Framework for Virtual Substitution
Marek Kosta, Thomas Sturm
We generalize the framework of virtual substitution for real quantifier elimination to arbitrary but bounded degrees. We make explicit the representation of test points in eliminat…