Zoran Ognjanovic, Uros Midic, Jozef Kratica. A Genetic Algorithm for Probabilistic SAT Problem. In Leszek Rutkowski, Jörg H. Siekmann, Ryszard Tadeusiewicz, Lotfi A. Zadeh, editors, Artificial Intelligence and Soft Computing - ICAISC 2004, 7th International Conference, Zakopane, Poland, June 7-11, 2004, Proceedings. Volume 3070 of Lecture Notes in Computer Science, pages 462-467, Springer, 2004. [doi]
Abstract is missing.