@ARTICLE{    VG07-colorsat-DAM,
	AUTHOR = "Van Gelder, Allen",
	Title = "Another Look at Graph Coloring via
			Propositional Satisfiability",
	JOURNAL = "Discrete Applied Mathematics",
	VOLUME = "156", NUMBER = 2,
	PAGES = "230--243",
	NOTE = "(Preliminary version appeared in COLOR02,
		held in conjunction with CP02, Ithaca, NY)",
	MONTH = jan,
	YEAR = 2008
	}