Dejan Jovanovic, Nenad Mladenovic, Zoran Ognjanovic. Variable Neighborhood Search for the Probabilistic Satisfiability Problem. In Karl F. Doerner, Michel Gendreau, Peter Greistorfer, Walter J. Gutjahr, Richard F. Hartl, Marc Reimann, editors, Metaheuristics. Volume 39 of Operations Research/Computer Science Interfaces Series, pages 173-188, Springer, 2007. [doi]
Abstract is missing.