Schnelle Algorithmen für das k-Satisfiability Problem -

Aachen (1992) [Habilitationsschrift]

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Schiermeyer, I.

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-112263