Login / Signup
METEORs: High Performance Theorem Provers Using Model Elimination.
Owen L. Astrachan
Donald W. Loveland
Published in:
Automated Reasoning: Essays in Honor of Woody Bledsoe (1991)
Keyphrases
</>
probabilistic model
statistical model
formal model
theorem prover
objective function
neural network
similarity measure
artificial neural networks
probability distribution
computational model
metaheuristic
mathematical model
conceptual model
propositional logic