The intractability of resolution
From Thermodynamics of Computation
- reference groups
- Computer Science Theory
- author-supplied keywords
- keywords
- authors
- Armin Haken
- title
- The intractability of resolution
- type
- journal
- year
- 1985
- source
- Theoretical Computer Science
- pages
- 297-308
- volume
- 39
- issue
- C
- link
- https://www.mendeley.com/catalogue/3b5da570-ddef-3160-ad32-73a02d1ad855/(1)
Counts
- Citation count
- 607
- Page views
- 4
Identifiers
- doi: 10.1016/0304-3975(85)90144-6 (Google search)
- issn: 03043975
- sgr: 0000076101
- scopus: 2-s2.0-0000076101
- pui: 215207536
