Knowledge compilation and theory approximation. (1996)

by B Selman, H Kautz
Venue:Journal of the ACM (JACM)