Knowledge compilation using theory prime implicates (1995)

by P Marquis
Venue:in: Proc. IJCAI-95