Login / Signup

Vier-Farben-Satz und Mobilfunksendetechnik.

Matthias Ludwig
Published in: Wirtschaftsinformatik Manag. (2011)
Keyphrases
  • sat solvers
  • sat encodings
  • simulated annealing