Exploiting QBF Duality on a Circuit Representation.

Alexandra Goultiaeva Fahiem Bacchus

Published in: AAAI (2010)

Keyphrases

high speed
feature representation
representation scheme
lower bound
search space
linear programming
circuit design