Henkin quantifiers and Boolean formulae: A certification perspective of DQBF

Journal

Theoretical Computer Science (TCS)

Journal Volume

523

Journal Issue

2

Pages

86-100

Date Issued

2014-02

Author(s)

Valeriy Balabanov

Hui-Ju K. Chiang

Jie-Hong R. Jiang

DOI

URI

Type

journal article