Login / Signup

Using Mixture of Experts Method in Combining Search-Guiding Heuristics for Theorem Proving.

C. Acar ErkekTunga Güngör
Published in: ISCIS (2010)
Keyphrases
  • theorem proving
  • search algorithm
  • search methods
  • machine learning
  • feature selection
  • search space
  • first order logic
  • search strategy
  • decision procedures