Skip to content

An Improved Incremental Algorithm for Generating Prime Implicates.

Johan de Kleer

VenueA*AAAI
Year1992
ProceedingsAAAI

Browse the full AAAI paper archive.