Local search characteristics of incomplete SAT procedures (2000)

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