Knowledge Compilation Using Horn Approximations (1991)

Cached

Download Links

by Bart Selman , Henry Kautz
Venue:IN PROCEEDINGS OF AAAI-91
Citations:106 - 9 self