Knowledge Compilation Using Horn Approximations. (1991)

by B Selman, H Kautz
Venue:In Proceedings of Ninth National Conference on Artificial Intelligence (AAAI