Quantifier structure in search based procedures for QBFs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Enrico Giunchiglia' in GoogleThis author has not been identified. Look up 'Massimo Narizzano' in GoogleThis author has not been identified. Look up 'Armando Tacchella' in Google

runs on WebDSL