Login / Signup

Meteor: Exploring Model Elimination Theorem Proving.

Owen L. Astrachan
Published in: J. Autom. Reason. (1994)
Keyphrases
  • theorem proving
  • probabilistic model
  • search algorithm