SiCoTHEO: Simple Competitive Parallel Theorem Provers.

Johann Schumann

Published in: CADE (1996)

Keyphrases

theorem prover
automated reasoning
shared memory
probabilistic model
theorem proving
parallel implementation
logic programs
model checking
automated deduction
computer algebra
higher order logic