Local search on SAT-encoded colouring problems, in (2004)

by S D Prestwich
Venue:Proceedings of the Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT 2003