On Unification of QBF Resolution-Based Calculi.

Olaf Beyersdorff Leroy Chew Mikolas Janota

Published in: MFCS (2) (2014)

Keyphrases

quantified boolean formulas
neural network
theorem proving
high resolution
consequence finding
higher order
low resolution
orders of magnitude
equational theories
multiresolution
sampling rate
higher resolution
knuth bendix