Displaying similar documents to “The polynomial bounds of proof complexity in Frege systems.”

Powerful digraphs.

Sudoplatov, S.V. (2007)

Sibirskij Matematicheskij Zhurnal

Similarity: