@inproceedings{
    JarvisaloJunttilaNiemela:LPAR2008,
    editor = "Cervesato, Iliano and Veith, Helmut and Voronkov, Andrei",
    author = {J{\"a}rvisalo, Matti and Junttila, Tommi and Niemel{\"a}, Ilkka},
    publisher = "Springer",
    optmonth = "November 22--27",
    title = "Justification-Based Local Search with Adaptive Noise Strategies",
    url = "http://dx.doi.org/10.1007/978-3-540-89439-1_3",
    series = "Lecture Notes in Artificial Intelligence",
    booktitle = "Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'08)",
    optaddress = "Doha, Qatar",
    volume = "5330",
    flags = "copy DC",
    year = "2008",
    pages = "31--46"
}