Bee colony optimization for the satisfiability problem in probabilistic logic

Tatjana Stojanovic, Tatjana Davidovic, Zoran Ognjanovic. Bee colony optimization for the satisfiability problem in probabilistic logic. Appl. Soft Comput., 31:339-347, 2015. [doi]

Abstract

Abstract is missing.