Login / Signup
Extensions to the Comprehensive Framework for Saturation Theorem Proving.
Jasmin Blanchette
Sophie Tourret
Published in:
Arch. Formal Proofs (2020)
Keyphrases
</>
theorem proving
parallel search
artificial intelligence
theorem prover
decision procedures
probabilistic model
automated reasoning
random variables
first order logic
automatic programming
automated theorem proving
proof planning
consequence finding
geometry theorem proving