Zoran Ognjanovic, Uros Midic, Nenad Mladenovic. A Hybrid Genetic and Variable Neighborhood Descent for Probabilistic SAT Problem. In Maria J. Blesa, Christian Blum, Andrea Roli, Michael Sampels, editors, Hybrid Metaheuristics, Second International Workshop, HM 2005, Barcelona, Spain, August 29-30, 2005, Proceedings. Volume 3636 of Lecture Notes in Computer Science, pages 42-53, Springer, 2005. [doi]
Abstract is missing.