Solving 3-Colouring via 2SAT

Guillermo De Ita Luna, César Bautista, Luis Carlos Altamirano. Solving 3-Colouring via 2SAT. In José Francisco Martínez Trinidad, Jesús Ariel Carrasco-Ochoa, Cherif Ben-Youssef Brants, Edwin Robert Hancock, editors, Pattern Recognition - Third Mexican Conference, MCPR 2011, Cancun, Mexico, June 29 - July 2, 2011. Proceedings. Volume 6718 of Lecture Notes in Computer Science, pages 50-59, Springer, 2011. [doi]

Authors

Guillermo De Ita Luna

This author has not been identified. Look up 'Guillermo De Ita Luna' in Google

César Bautista

This author has not been identified. Look up 'César Bautista' in Google

Luis Carlos Altamirano

This author has not been identified. Look up 'Luis Carlos Altamirano' in Google