Producing and verifying extremely large propositional refutations - Have your cake and eat it too.

Allen Van Gelder

Published in: Ann. Math. Artif. Intell. (2012)

Keyphrases

propositional logic
first order logic
artificial intelligence
theorem prover
default logic
predicate calculus
resource allocation
social networks
lower bound
multi valued
horn clauses
belief base
satisfiability testing
sound and complete axiomatization