QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency.

Ashish Sabharwal Carlos Ansótegui Carla P. Gomes Justin W. Hart Bart Selman

Published in: SAT (2006)

Keyphrases

high efficiency
real time
computational efficiency