Jump to Content

Local Search Characteristics of Incomplete SAT Procedures

Dale Schuurmans
AAAI/IAAI (2000), pp. 297-302

Abstract

Research Areas