Retour

G-2006-49

Variable Neighborhood Search for the Probabilistic Satisfiability Problem

, et

référence BibTeX

This paper presents a new method for the probabilistic logic satisfiability problem, based on the variable neighborhood search metaheuristic. The solution space consists of 0-1 variables, while the associated probabilities are found by our fast approximate variable neighborhood descent procedure combined with the Nelder-Mead nonlinear optimization method. Computational experience shows that, with our approach, problem instances with up to 200 propositional letters can be solved successfully. They are, to the best of our knowledge, the largest solved instances of the PSAT problem appeared in the literature.

, 19 pages

Publication

Variable neighborhood search for the probabilistic satisfiability problem
, et
K.F. Doerner et al. (eds.), Metaheuristics - Progress in Complex Systems Optimization, 173–188, 2007 référence BibTeX