Login / Signup

Lower Bounds for Myopic DPLL Algorithms with a Cut Heuristic.

Dmitry ItsyksonDmitry Sokolov
Published in: ISAAC (2011)
Keyphrases