OpenAlex | Henkin quantifiers and Boolean formulae: A certification perspective of DQBF

Henkin quantifiers and Boolean formulae: A certification perspective of DQBF

Work

Year: 2014

Type: article

Source: Theoretical Computer Science

Authors Valeriy Balabanov, Hui-Ju Katherine Chiang, Jie-Hong R. Jiang

Institution National Taiwan University

Cites: 21

Cited by: 37

Related to: 10

FWCI: 3.699

Citation percentile (by year/subfield): 88.24

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funders National Science Council, National Science Council, National Science Council

Grant IDS 99-2923-E-002-005-MY3, 101-2923-E-002-015-MY2, 99-2221-E-002-214-MY3