Local search characteristics of incomplete SAT procedures
Dale Schuurmans, Finnegan SoutheyVolume:
132
Year:
2001
Language:
english
Pages:
30
DOI:
10.1016/s0004-3702(01)00151-5
File:
PDF, 219 KB
english, 2001