How Good Can a Resolution Based SAT-solver Be?

Eugene Goldberg, Yakov Novikov

Browse the full SAT paper archive.