A Complete Random Jump Strategy with Guiding Paths.

Hantao Zhang

Browse the full SAT paper archive.