共 11 条
- [1] Boros E.(1998)Horn minimization by iterative decomposition Annals of Mathematics and Artificial Intelligence 23 321-343
- [2] Čepek O.(2008)Recognition of interval boolean functions Annals of Mathematics and Artificial Intelligence 52 1-24
- [3] Kogan A.(1993)Optimal compression of propositional horn knowledge bases: complexity and approximation Artificial Intelligence 64 131-145
- [4] Čepek O.(2005)Computing the minimum DNF representation of boolean functions defined by intervals Discrete Applied Mathematics 149 154-173
- [5] Kronus D.(undefined)undefined undefined undefined undefined-undefined
- [6] Kučera P.(undefined)undefined undefined undefined undefined-undefined
- [7] Hammer P. L.(undefined)undefined undefined undefined undefined-undefined
- [8] Kogan A.(undefined)undefined undefined undefined undefined-undefined
- [9] Schieber B.(undefined)undefined undefined undefined undefined-undefined
- [10] Geist D.(undefined)undefined undefined undefined undefined-undefined