131 citations · 397 across the 37 of their papers we have counts for
1 paper · 1 filter
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…