Does Advice Help to Prove Propositional Tautologies?

Olaf Beyersdorff Sebastian Müller

Published in: SAT (2009)

Keyphrases

propositional logic
first order logic
neural network
computational complexity
default logic
real world
knowledge base
case study
database systems
upper bound
multi valued