An Efficient Implementation of Ant Colony Optimization on GPU for the Satisfiability Problem | IEEE Conference Publication | IEEE Xplore