Minimum Propositional Proof Length Is NP
β
Michael Alekhnovich, Sam Buss, Shlomo Moran and Toniann Pitassi
π
Article
π
2001
π
Association for Symbolic Logic
π
English
β 459 KB