Negative Learning Ant Colony Optimization for MaxSAT | Publicación