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