Eugene Goldberg, Yakov Novikov: How Good Can a Resolution Based SAT-solver Be? SAT 2003: 37-52