Login / Signup
Using Mixture of Experts Method in Combining Search-Guiding Heuristics for Theorem Proving.
C. Acar Erkek
Tunga 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