A feasibly constructive lower bound for resolution proofs
1990 ◽
Vol 34
(2)
◽
pp. 81-85
◽
2012 ◽
Vol 112
(14-15)
◽
pp. 610-611
◽
Keyword(s):
2011 ◽
Vol 33
(3)
◽
pp. 701-705
◽
Keyword(s):
1989 ◽