Non-monotone Dualization via Monotone Dualization.
Yoshitaka Yamamoto, Koji Iwanuma, Katsumi Inoue · 2012
The non-monotone dualization (NMD) is one of the most essential tasks required for finding hypotheses in various ILP settings, like learning from entailment [1, 2] and learning from interpretations [3]. Its task is to generate an irredundant prime CNF formula ψ of the dual f d where f is a general Boolean function represented