Login / Signup

Solving QBF by Abstraction.

Jesko Hecking-HarbuschLeander Tentrup
Published in: GandALF (2018)
Keyphrases
  • high level
  • combinatorial optimization
  • data sets
  • real time
  • neural network