Husain, Saadia

1 publications

AAAI 1991 A New Admissible Heuristic for Minimal-Cost Proofs Eugene Charniak, Saadia Husain