Christophe Lecoutre, Lakhdar Sais, Julien Vion. Using SAT Encodings to Drive CSP Value Ordering Heuristics. JSAT, 1(3-4):169-186, 2007. [doi]
@article{LecoutreSV07,
title = {Using SAT Encodings to Drive CSP Value Ordering Heuristics},
author = {Christophe Lecoutre and Lakhdar Sais and Julien Vion},
year = {2007},
url = {http://jsat.ewi.tudelft.nl/content/volume1/JSAT1_9_Lecoutre.pdf},
researchr = {https://researchr.org/publication/LecoutreSV07},
cites = {0},
citedby = {0},
journal = {JSAT},
volume = {1},
number = {3-4},
pages = {169-186},
}