Skip to content

A Rearrangement Search Strategy for Determining Propositional Satisfiability.

Ramin Zabih, David A. McAllester

VenueA*AAAI
Year1988
ProceedingsAAAI

Browse the full AAAI paper archive.