Searched refs:glureduce (Results 1 – 2 of 2) sorted by relevance
160 , glureduce(opt_glu_reduction) in Solver()246 , glureduce(s.glureduce) in Solver()1366 glureduce = true; in adaptSolver()1387 glureduce = true; in adaptSolver()1615 if((chanseokStrategy && !glureduce && learnts.size() > firstReduceDB) || in search()1616 (glureduce && conflicts >= ((unsigned int) curRestart * nbclausesbeforereduce))) { in search()
277 bool glureduce; variable