Login / Signup

The Intractability of Resolution.

Armin Haken
Published in: Theor. Comput. Sci. (1985)
Keyphrases