Henry Kautz
Bart Selman and Henry Kautz.
Knowledge compilation and theory approximation.
Journal of the ACM
, 43(2):193-224, March 1996.
Abstract, References, Citations, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database