Henkin Quantifiers and Boolean Formulae

DOI10.1007/978-3-642-31612-8_11zbMath1273.03046OpenAlexW1930344573MaRDI QIDQ2843328

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

Publication date: 12 August 2013

Published in: Theory and Applications of Satisfiability Testing – SAT 2012 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-31612-8_11

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Logic with extra quantifiers and operators (03C80)

Related Items (2)

Henkin quantifiers and Boolean formulae: a certification perspective of DQBF ⋮ Complexity of fixed-size bit-vector logics

This page was built for publication: Henkin Quantifiers and Boolean Formulae