Solving Non-uniform Planted and Filtered Random SAT Formulas Greedily.

Tobias Friedrich, Frank Neumann, Ralf Rothenberger, Andrew M. Sutton

Browse the full SAT paper archive.