Refining a Pheromone Trail Graph by Negative Feedback for Constraint Satisfaction Problems | IEEE Conference Publication | IEEE Xplore