Proof-Producing Congruence Closure.

Robert Nieuwenhuis Albert Oliveras

Published in: RTA (2005)

Keyphrases

geometry theorem proving
databases
theorem proving
database
high quality
socio technical
proof planning
complete axiomatization
information retrieval
decision trees
multi agent
relational databases
automated theorem provers
interactive theorem proving