Bounded-Depth Frege Complexity of Tseitin Formulas for All Graphs.

Nicola Galesi, Dmitry Itsykson, Artur Riazanov, Anastasia Sofronova

Browse the full MFCS paper archive.