Caching and Lemmaizing in Model Elimination Theorem Provers.

Owen L. Astrachan Mark E. Stickel

Published in: CADE (1992)

Keyphrases

computational model
probabilistic model
probability distribution
theorem prover
artificial intelligence
neural network
experimental data
formal model