Derandomization of Schuler's Algorithm for SAT.

Evgeny Dantsin, Alexander Wolpert

Browse the full SAT paper archive.