The intractability of resolution
β
Armin Haken
π
Article
π
1985
π
Elsevier Science
π
English
β 686 KB