Knowledge compilation using Horn approximations (1991)

by B Selman, H A Kautz
Venue:In Proceedings of the ninth national conference on artificial intelligence (AAAI-91