Knowledge compilation and theory approximation (1996)

by Bart Selman, Henry Kautz
Venue:Journal of the ACM