Solving Constraint Satisfaction Problems by ACO with Cunning Ants | IEEE Conference Publication | IEEE Xplore