DMCA

Knowledge compilation and theory approximation (1996)

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