Login / Signup
Validating QBF Invalidity in HOL4.
Tjark Weber
Published in:
ITP (2010)
Keyphrases
</>
quantified boolean formulas
theorem prover
formal methods
quantified boolean formulae
natural deduction
propositional logic
theorem proving
boolean formula
artificial intelligence
case study
bayesian networks
description logics