DMCA

Knowledge compilation and theory approximation (1996)

by Bart Selman , Henry Kautz
Venue:Journal of the ACM
Citations:183 - 5 self