Searched defs:binary_based_morem_minim (Results 1 – 2 of 2) sorted by relevance
2963 void Searcher::binary_based_morem_minim(vector<Lit>& cl) in binary_based_morem_minim() function in Searcher