Frank Schädlich - Wissenschaftliche Veröffentlichungen

(1 - 5 von 5

)

Research | Ehemalige Professur Theoretische Informatik | ...Technische Universität Chemnitz

www.tu-chemnitz.de

In: Proceedings RANDOM 2004, LNCS 3122, Amin Coja-Oghlan, Andreas Goerdt, André Lanka, Frank Schädlich. Certifying Unsatisfiability of Random 2k ... In: Proceedings RANDOM 2004, LNCS 3122, Amin Coja-Oghlan, Andreas Goerdt, André Lanka, Frank Schädlich. Certifying Unsatisfiability of Random 2k ...

dblp: Frank Schädlich

dblp.org

List of computer science publications by Frank Schädlich

Absolventen | Sonstiges | Professur Theoretische Informatikwww.tu-chemnitz.de › ... › Professur Theoretische Informatik › Sonstiges

www.tu-chemnitz.de

Dr. Frank Schädlich: „Effizientes Verifizieren co-NP-vollständiger Probleme am Beispiel zufälliger 4-SAT-Formeln und uniformer Hypergraphen“ ...

Professur Theoretische Informatik und Informationssicherheitwww.tu-chemnitz.de › informatik › ThIS › site › vortraege

www.tu-chemnitz.de

Frank Schädlich. Inhalt: Es wird ein Polynomialzeitalgorithmus vorgestellt, der für fast alle zufälligen 4-SAT-Formeln mit n Variablen und 117⋅n2 Klauseln ...

dblp: Theoretical Computer Science, Volume 329

dblp.org

Bibliographic content of Theoretical Computer Science, Volume 329

Verwandte Suchanfragen zu Frank Schädlich

Andreas Goerdt
André Lanka
Antje Richter

Amin Coja-Oghlan

Person "Schädlich" (3)
Vorname "Frank" (79403)
Name "Schädlich" (518)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Wissenschaftliche Veröffentlichungen Frank Schädlich

Research | Ehemalige Professur Theoretische Informatik | ...Technische Universität Chemnitz

dblp: Frank Schädlich

Absolventen | Sonstiges | Professur Theoretische Informatikwww.tu-chemnitz.de › ... › Professur Theoretische Informatik › Sonstiges

Professur Theoretische Informatik und Informationssicherheitwww.tu-chemnitz.de › informatik › ThIS › site › vortraege

dblp: Theoretical Computer Science, Volume 329