98 citations · 647 across the 44 of their papers we have counts for
1 paper · 2 filters
Sicun Gao, André Platzer, Edmund M. Clarke
We give an algebraic quantifier elimination algorithm for the first-order theory over any given finite field using Gröbner basis methods. The algorithm relies on the strong Nullste…