ML Anthology
Authors
Search
About
Husain, Saadia
1 publications
AAAI
1991
A New Admissible Heuristic for Minimal-Cost Proofs
Eugene Charniak
,
Saadia Husain