Quantifier Structure in search based procedures for QBFs