Login / Signup
Exploiting Circuit Representations in QBF Solving.
Alexandra Goultiaeva
Fahiem Bacchus
Published in:
SAT (2010)
Keyphrases
</>
high speed
neural network
higher level
electronic circuits
heuristic search
combinatorial optimization
circuit design
digital circuits