Schnelle Algorithmen für das k-Satisfiability Problem -

Schiermeyer, I.

Aachen (1992)
Habilitationsschrift

Aachen TH, Hab.Schr. von 1992

Identifikationsnummern