Alex S. Fukunaga. Variable-Selection Heuristics in Local Search for SAT. In AAAI/IAAI. pages 275-280, 1997.
@inproceedings{Fukunaga97, title = {Variable-Selection Heuristics in Local Search for SAT}, author = {Alex S. Fukunaga}, year = {1997}, tags = {search}, researchr = {https://researchr.org/publication/Fukunaga97}, cites = {0}, citedby = {0}, pages = {275-280}, booktitle = {AAAI/IAAI}, }