Automatic Recognition of Tractability in Inference Relations (1990)

Cached

Download Links

by David Mcallester
Venue:Journal of the ACM
Citations:61 - 13 self