Symbolic decision procedures for QBF (2004)

by G Pan, M Y Vardi
Venue:In 10th CP