A Local Search SAT Solver Using an Effective Switching Strategy and an Efficient Unit Propagation.

Xiao Yu Li, Matthias F. M. Stallmann, Franc Brglez

Browse the full SAT paper archive.