Algorithms for the maximum satisfiability problem

P Hansen, B Jaumard - Computing, 1990 - Springer
Computing, 1990Springer
Old and new algorithms for the Maximum Satisfiability problem are studied. We first
summarize the different heuristics previously proposed, ie, the approximation algorithms of
Johnson and of Lieberherr for the general Maximum Satisfiability problem, and the heuristics
of Lieberherr and Specker, Poljak and Turzik for the Maximum 2-Satisfiability problem. We
then consider two recent local search algorithmic schemes, the Simulated Annealing
method of Kirkpatrick, Gelatt and Vecchi and the Steepest Ascent Mildest Descent method …
Abstract
Old and new algorithms for the Maximum Satisfiability problem are studied. We first summarize the different heuristics previously proposed, i.e., the approximation algorithms of Johnson and of Lieberherr for the general Maximum Satisfiability problem, and the heuristics of Lieberherr and Specker, Poljak and Turzik for the Maximum 2-Satisfiability problem. We then consider two recent local search algorithmic schemes, the Simulated Annealing method of Kirkpatrick, Gelatt and Vecchi and the Steepest Ascent Mildest Descent method, and adapt them to the Maximum Satisfiability problem. The resulting algorithms, which avoid being blocked as soon as a local optimum has been found, are shown empirically to be more efficient than the heuristics previously proposed in the literature.
Springer
以上显示的是最相近的搜索结果。 查看全部搜索结果