Constraint satisfaction problems can be SAT-encoded in more than one way, and the choice of encoding can be as important as the choice of search algorithm. Theoretical results are few but experimental comparisons have been made between encodings, using both local and backtrack search algorithms. This paper compares local search performance on seven encodings of graph colouring benchmarks. Two of the encodings are new and one of them gives generally better results than known encodings. We also find better results than expected for two variants of the log encoding, and surprisingly poor results for the support encoding. © Springer-Verlag 2004.
CITATION STYLE
Prestwich, S. (2004). Local search on sat-encoded colouring problems. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2919, 105–119. https://doi.org/10.1007/978-3-540-24605-3_9
Mendeley helps you to discover research relevant for your work.