SAT Algorithms for Colouring Some Special Classes of Graphs: Some Theoretical and Experimental Results.

Sriyankar Acharyya SAT Algorithms for Colouring Some Special Classes of Graphs: Some Theoretical and Experimental Results. 33-55 2008 4 JSAT 1 http://jsat.ewi.tudelft.nl/content/volume4/JSAT4_3_Acharyya.pdf db/journals/jsat/jsat4.html#Acharyya08