Stochastic Local Search in K-Term DNF Learning

Abstract

A novel native stochastic local search algorithm for solving k-term DNF problems is presented. It is evaluated on hard k-term DNF problems that lie on the phase transition and compared to the performance of GSAT and WalkSAT type algorithms on SAT encodings of k-term DNF problems. We also evaluate state-of-the-art separate and conquer algorithms on these problems. Finally, we demonstrate the practical relevance of our algorithm on a chess endgame database. ICML Proceedings of the Twentieth International Conference on Machine Learning

Cite

Text

Rückert and Kramer. "Stochastic Local Search in K-Term DNF Learning." International Conference on Machine Learning, 2003.

Markdown

[Rückert and Kramer. "Stochastic Local Search in K-Term DNF Learning." International Conference on Machine Learning, 2003.](https://mlanthology.org/icml/2003/ruckert2003icml-stochastic/)

BibTeX

@inproceedings{ruckert2003icml-stochastic,
  title     = {{Stochastic Local Search in K-Term DNF Learning}},
  author    = {Rückert, Ulrich and Kramer, Stefan},
  booktitle = {International Conference on Machine Learning},
  year      = {2003},
  pages     = {648-655},
  url       = {https://mlanthology.org/icml/2003/ruckert2003icml-stochastic/}
}