Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen	Hilfe

Suche: Citkey="Hofmeister-Schoning-Schuler-Watanabe/02"

Als [bib] [pdf] [ps] [dvi] [xml] herunterladen.

A probabilistic 3-SAT algorithm further improved

Thomas Hofmeister, Uwe Schöning, Rainer Schuler, Osamu Watanabe

Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )
Lecture Notes in Computer Science 2285 , 2002, pp. 192-202

Editors Helmut Alt, Afonso Ferreira

Publisher: Springer-Verlag

Address: Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo

Editors		Helmut Alt, Afonso Ferreira
Publisher:		Springer-Verlag
Address:		Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo