Santa Fe Institute Collaboration Platform

Thermodynamics of Computation

The intractability of resolution

From Thermodynamics of Computation

Revision as of 20:14, April 17, 2018 by Wikiworks (talk | contribs) (CSV import Computer Science Theory)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to:navigation, search

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

Retrieved from "https://centre.santafe.edu/thermocomp/w/index.php?title=The_intractability_of_resolution&oldid=3221"

Reference Materials