Local search on SAT-encoded colouring problems (2003)

Cached

Download Links

by Steven Prestwich
Venue:Lecture Notes in Computer Science
Citations:15 - 0 self