Uwe Schöning. A Probabilistic Algorithm for k -SAT Based on Limited Local Search and Restart. Algorithmica, 32(4):615-623, 2002. [doi]
@article{Schoning02, title = {A Probabilistic Algorithm for k -SAT Based on Limited Local Search and Restart}, author = {Uwe Schöning}, year = {2002}, url = {http://link.springer.de/link/service/journals/00453/bibs/2032004/20320615.html}, tags = {rule-based, search}, researchr = {https://researchr.org/publication/Schoning02}, cites = {0}, citedby = {0}, journal = {Algorithmica}, volume = {32}, number = {4}, pages = {615-623}, }