Author:
Čepek Ondřej,Kučera Petr,Kuřík Stanislav
Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference26 articles.
1. Optimal compression of propositional horn knowledge bases: Complexity and approximation;Hammer;Artificial Intelligence,1993
2. Knowledge compression – logic minimization for expert systems;Hammer,1994
3. The complexity of theorem-proving procedures;Cook,1971
4. The minimum equivalent dnf problem and shortest implicants;Umans;Journal of Computer and System Sciences,2001
5. Complexity of two-level logic minimization;Umans;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,2006
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Prime implicants in dynamic reliability analysis;Reliability Engineering & System Safety;2016-02