Sign in
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