Local search on sat-encoded csps (2003)

by Steven Prestwich
Venue:In Proc. SAT-2003