Henkin Quantifiers and Boolean Formulae

Journal

Int'l Conference on the Theory and Applications of Satisfiability Test (SAT'12)

Pages

129-142

Date Issued

2012-06

Author(s)

Valeriy Balabanov

Hui-Ju Katherine Chiang

Jie-Hong R. Jiang

DOI

URI

Type

conference paper