Compositional Propositional Proofs.

Marijn J. H. Heule Armin Biere

Published in: LPAR (2015)

Keyphrases

propositional logic
theorem proving
first order logic
proof procedure
theorem prover
default logic
formal proof
strips planning
multi valued
equational theories
automated theorem provers
real time
website
horn clauses
formal proofs