Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella. Quantifier structure in search based procedures for QBFs. In Georges G. E. Gielen, editor, Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Munich, Germany, March 6-10, 2006. pages 812-817, European Design and Automation Association, Leuven, Belgium, 2006. [doi]
Abstract is missing.