propositional proof complexity
Recently Published Documents
TOTAL DOCUMENTS
13
(FIVE YEARS 1)
H-INDEX
6
(FIVE YEARS 0)
Keyword(s):
2010 ◽
Vol 50
(1-2)
◽
pp. 245-255
◽
2007 ◽
Vol 13
(4)
◽
pp. 417-481
◽
2004 ◽
Vol 34
(1)
◽
pp. 67-88
◽
2003 ◽
Vol 13
(05)
◽
pp. 527-541
◽