Holger H. Hoos. On the Run-time Behaviour of Stochastic Local Search Algorithms for SAT. In AAAI/IAAI. pages 661-666, 1999.
@inproceedings{Hoos99:0, title = {On the Run-time Behaviour of Stochastic Local Search Algorithms for SAT}, author = {Holger H. Hoos}, year = {1999}, tags = {search}, researchr = {https://researchr.org/publication/Hoos99%3A0}, cites = {0}, citedby = {0}, pages = {661-666}, booktitle = {AAAI/IAAI}, }