Knowledge compilation and theory approximation (1996)

by B Selman, H A Kautz
Venue:Journal of the ACM