Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

TUM-Logo

Die bibliographische Datenbank LEABib


SuchenListe der JournaleListe der SerienListe der KonferenzenAusgewählte Publikationen Ausgewählte Publikationen Hilfe Hilfe
 
Suche: Citkey="Cook-Luby/88"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

A simple parallel algorithm for finding a satisfying truth assignment to a 2-CNF formula Publikation auswählen
S.A. Cook, M. Luby

Information Processing Letters 27 (3), 1988, March, pp. 141-145

Publisher:  North-Holland Publishing Company
Address:  Amsterdam-New York-Oxford-Tokyo
Institution:  Dept. of Comput. Sci., Toronto Univ., Ont., Canada