Dealing with inequality constraints in large-scale semidefinite relaxations for graph coloring and maximum clique problems - Battista, Federico; De Santis, Marianna (4OR: A Quarterly Journal of Operations Research, 2025)