Knowledge compilation using Horn approximations


Authored By:Bart Selman and Henry Kautz
Paper Title:Knowledge compilation using Horn approximations
Book/Journal Title:Proc. of AAAI-91
Publication Date:August 1991