A Comprehensive Framework for Saturation Theorem Proving.

Published in: Arch. Formal Proofs (2020)

Keyphrases

theorem proving
decision procedures
inference rules
automated reasoning
artificial intelligence
automated deduction
data mining
theorem prover
combinatorial search
term rewriting