A Uniform Approach for Generating Proofs and Strategies for Both True and False QBF Formulas.

Alexandra Goultiaeva Allen Van Gelder Fahiem Bacchus

Published in: IJCAI (2011)

Keyphrases

neural network
theorem prover
theorem proving
knowledge base
lower bound
search strategies
automatically generating