DEHN FUNCTION AND LENGTH OF PROOFS
2003 ◽
Vol 13
(05)
◽
pp. 527-541
◽
Keyword(s):
We link the Dehn function of finitely presented groups to the length-of-proofs function in propositional proof complexity.
2010 ◽
Vol 50
(1-2)
◽
pp. 245-255
◽
2004 ◽
Vol 34
(1)
◽
pp. 67-88
◽
Keyword(s):
2007 ◽
Vol 13
(4)
◽
pp. 417-481
◽