Bee colony optimization for the satisfiability problem in probabilistic logic.
Tatjana StojanovicTatjana DavidovicZoran OgnjanovicPublished in: Appl. Soft Comput. (2015)
Keyphrases
- satisfiability problem
- probabilistic logic
- np complete
- maximum entropy
- temporal logic
- probabilistic reasoning
- default reasoning
- search algorithm
- swarm intelligence
- sat problem
- phase transition
- stochastic local search algorithms
- stochastic local search
- probabilistic knowledge
- probability theory
- max sat
- foraging behavior
- particle swarm optimization
- sat instances
- ant colony optimization
- machine learning
- mazurkiewicz traces
- default logic
- cellular automata
- constraint satisfaction problems