Small Proofs from Congruence Closure.

Oliver Flatt Samuel Coward Max Willsey Zachary Tatlock Pavel Panchekha

Published in: CoRR (2022)

Keyphrases

small number
decision making
image processing
information technology
databases
decision trees
search algorithm
special case
theorem prover
theorem proving
natural deduction