An Efficient Implementation of Ant Colony Optimization on GPU for the Satisfiability Problem. - Hassan A. Youness; Aziza Ibraheim; Mohammed Moness; Muhammad Osama 003 (PDP, 2015)