Using Mixture of Experts Method in Combining Search-Guiding Heuristics for Theorem Proving. - C. Acar Erkek; Tunga Güngör (ISCIS, 2010)