Resolution Proofs and Skolem Functions in QBF Evaluation and Applications.

Valeriy Balabanov Jie-Hong R. Jiang

Published in: CAV (2011)

Keyphrases

first order logic
evaluation criteria
knowledge base
high resolution
theorem proving
search algorithm
lower bound
low resolution
basis functions
evaluation model