Sign in

Incremental QBF Solving.

Florian LonsingUwe Egly
Published in: CP (2014)
Keyphrases
  • incremental learning
  • boolean formula
  • neural network
  • linear programming
  • constraint satisfaction
  • combinatorial optimization