MathDB1 problem
- 0 votes0 replies0 views
The Stone tautologies' exponential lower-bound conjecture for pool and regRTI refutations
The Stone tautologies are propositional principles associated with the Stone tautologies studied in the cited resolution-complexity literature. A pool and regRTI lower-bound conjec…