A lower bound for the pigeonhole principle in tree-like Resolution by asymmetric Prover–Delayer games

Beyersdorff, Olaf ; Galesi, Nicola ; Lauria, Massimo

Information processing letters, 2010-11, Vol.110 (23), p.1074-1077 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível