2 citations · 2 across the 4 of their papers we have counts for
1 paper · 1 filter
Eugene Goldberg
Quantifier elimination (QE) is an important problem that has numerous applications. Unfortunately, QE is computationally very hard. Earlier we introduced a generalization of QE cal…