Lower Bounds for Myopic DPLL Algorithms with a Cut Heuristic.

Dmitry Itsykson, Dmitry Sokolov

Browse the full ISAAC paper archive.