Resolution and Expressiveness of Subclasses of Quantified Boolean Formulas and Circuits - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hans Kleine Büning, Xishun Zhao, Uwe Bubeck. Resolution and Expressiveness of Subclasses of Quantified Boolean Formulas and Circuits. In Oliver Kullmann, editor, Theory and Applications of Satisfiability Testing - SAT 2009, 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings. Volume 5584 of Lecture Notes in Computer Science, pages 391-397, Springer, 2009. [doi]

This author has not been identified. Look up 'Hans Kleine Büning' in GoogleThis author has not been identified. Look up 'Xishun Zhao' in GoogleThis author has not been identified. Look up 'Uwe Bubeck' in Google

runs on WebDSL