Local search on SAT-encoded CSPs (0)

by S Prestwich
Venue:In Proceedings of the Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT-03