9 citations · 11 across the 8 of their papers we have counts for
1 paper · 2 filters
Nikhil Balaji, Mahsa Shirmohammadi, Sébastien Tavenas +1
The Approximate polynomial satisfiability problem (APS), introduced by Guo, Saxena, and Sinhababu (CCC 2018), asks whether the zero vector lies in the Zariski closure of the image…