Short propositional formulas represent n
โ
Stephen A. Cook
๐
Article
๐
1988
๐
Elsevier Science
๐
English
โ 203 KB