Schnelle Algorithmen für das k-Satisfiability Problem -

Aachen (1992) [Habil / Postdoctoral Thesis (Non-german Habil)]

Authors

Authors

Schiermeyer, I.

Identifier

  • REPORT NUMBER: RWTH-CONV-112263