Resolution and Expressiveness of Subclasses of Quantified Boolean Formulas and Circuits

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]

Abstract

Abstract is missing.