sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Enrico Giunchiglia, Paolo Marin, Massimo Narizzano. sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning. In Ofer Strichman, Stefan Szeider, editors, Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings. Volume 6175 of Lecture Notes in Computer Science, pages 85-98, Springer, 2010. [doi]

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

runs on WebDSL