2 search results - page 1 / 1 » Linear Gaps Between Degrees for the Polynomial Calculus Modu... |
82
Voted
STOC
1999
ACM
15 years 7 months ago
1999
ACM
106
click to vote
LICS
2008
IEEE
15 years 9 months ago
2008
IEEE
We show that the asymptotic complexity of uniformly generated (expressible in First-Order (FO) logic) propositional tautologies for the Nullstellensatz proof system (NS) as well a...