1 paper
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…