Solving 3-Colouring via 2SAT. - Guillermo De Ita Luna; César Bautista; Luis Carlos Altamirano (MCPR, 2011)