Local search characteristics of incomplete SAT procedures (2000)

by Dale Schuurmans , Finnegan Southey
Venue:Artificial Intelligence
Citations:60 - 2 self