Schnelle Algorithmen für das k-Satisfiability Problem -
Schiermeyer, I.
Aachen (1992)
Habilitationsschrift
Aachen TH, Hab.Schr. von 1992
Einrichtungen
- Lehrstuhl für Mathematik der Informationsverarbeitung [114510]
- Fachgruppe Mathematik [110000]
Identifikationsnummern
- RWTH PUBLICATIONS: RWTH-CONV-112263