Google Research

Local search characteristics of incomplete SAT procedures

Dale Schuurmans
Finnegan Southey
Artificial Intelligence, 132 (2001), pp. 121-150
Download Google Scholar

Abstract

Research Areas

×