2005 | OriginalPaper | Buchkapitel
Cooperative Bees Swarm for Solving the Maximum Weighted Satisfiability Problem
verfasst von : Habiba Drias, Souhila Sadeg, Safa Yahi
Erschienen in: Computational Intelligence and Bioinspired Systems
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Solving a NP-Complete problem precisely is spiny: the combinative explosion is the ransom of this accurateness. It is the reason for which we have often resort to approached methods assuring the obtaining of a good solution in a reasonable time. In this paper we aim to introduce a new intelligent approach or meta-heuristic named “Bees Swarm Optimization”, BSO for short, which is inspired from the behaviour of real bees. An adaptation to the features of the MAX-W-SAT problem is done to contribute to its resolution. We provide an overview of the results of empirical tests performed on the hard Johnson benchmark. A comparative study with well known procedures for MAX-W-SAT is done and shows that BSO outperforms the other evolutionary algorithms especially AC-SAT, an ant colony algorithm for SAT.