Schnelle Algorithmen für das k-Satisfiability Problem -

Schiermeyer, I.

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

Identifier

  • REPORT NUMBER: RWTH-CONV-112263