Relationships between Horn Formulas and XOR-MDNF Formulas.

Kenshi Matsuo Tetsuya Koyama Eiji Takimoto Akira Maruoka

Published in: IEICE Trans. Inf. Syst. (2004)

Keyphrases

horn formulas
knowledge compilation
efficient learning
revision operators
monotone dnf