1 paper · 1 filter
Edinah K. Gnang, Vidit Nanda
We formally investigate some computational obstacles to tractability of computing the variety determined by K complex polynomials in N boolean variables. We show that using algebra…