Skip to content

A New Admissible Heuristic for Minimal-Cost Proofs.

Eugene Charniak, Saadia Husain

VenueA*AAAI
Year1991
ProceedingsAAAI

Browse the full AAAI paper archive.