QBF Resolution Systems and their Proof Complexities

Journal

International Conference on Theory and Applications of Satisfiability Testing (SAT)

Pages

154-169

Date Issued

2014-07

Author(s)

Valeriy Balabanov

Magdalena Widl

Jie-Hong R. Jiang

DOI

URI

Type

conference paper