KautzAT

Vivid Knowledge and Tractable Reasoning : Preliminary

Hill, LaboratoriesMurray, Mountain, 2007 .

Domain-Independent Extensions to GSAT : Solving Large StructuredSatis ability

Bart Selman, Henry A. Kautz, Hill, 1993 .

Domain-Independent Extensions to GSAT : Solving Large StructuredSatis ability

Hill, T. Bell, LaboratoriesMurray, 1993 .