SCSat: A Soft Constraint Guided SAT Solver.

Hiroshi Fujita, Miyuki Koshimura, Ryuzo Hasegawa

Browse the full SAT paper archive.