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="Friedman-Goerdt-Krivelevich/05"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Recognizing more unsatisfiable random k-SAT instances efficiently Publikation auswählen
Joel Friedman, Andreas Goerdt, Michael Krivelevich

SIAM Journal on Computing 35 (2), 2005, pp. 408-430

Editors  E. Tardos
Publisher:  Society for Industrial and Applied Mathematics
Address:  Philadelphia, PA
 
Keywords:   random structures,random satisfiability, spectral methods
 
URL:   http://link.aip.org/link/?SMJ/35/408/1