Evgeny Dantsin, Alexander Wolpert
Derandomization of Schuler’s Algorithm for SAT
SAT, 2004.
@inproceedings{SAT-2004-DantsinW,
author = "Evgeny Dantsin and Alexander Wolpert",
booktitle = "{Proceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing}",
ee = "http://www.satisfiability.org/SAT04/programme/41.pdf",
pages = "69--75",
title = "{Derandomization of Schuler’s Algorithm for SAT}",
year = 2004,
}