Justification-Based Local Search with Adaptive Noise Strategies

Reference:

Matti Järvisalo, Tommi Junttila, and Ilkka Niemelä. Justification-based local search with adaptive noise strategies. In Iliano Cervesato, Helmut Veith, and Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'08), volume 5330 of Lecture Notes in Artificial Intelligence, pages 31–46. Springer, 2008.

Suggested BibTeX entry:

@inproceedings{JarvisaloJunttilaNiemela:LPAR2008,
    author = {Matti J{\"a}rvisalo and Tommi Junttila and Ilkka Niemel{\"a}},
    booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'08)},
    editor = {Iliano Cervesato and Helmut Veith and Andrei Voronkov},
    pages = {31--46},
    publisher = {Springer},
    series = {Lecture Notes in Artificial Intelligence},
    title = {Justification-Based Local Search with Adaptive Noise Strategies},
    volume = {5330},
    year = {2008},
}