Login / Signup

Exploiting Circuit Representations in QBF Solving.

Alexandra GoultiaevaFahiem Bacchus
Published in: SAT (2010)
Keyphrases
  • high speed
  • neural network
  • higher level
  • electronic circuits
  • heuristic search
  • combinatorial optimization
  • circuit design
  • digital circuits