Subject
Applied Mathematics,Control and Optimization,Numerical Analysis,Statistics and Probability,Algebra and Number Theory,General Mathematics
Reference63 articles.
1. On simplifying truth-functional formulas;Bing;J. Symbolic Logic,1956
2. Computer-aided minimization procedure for Boolean functions;Biswas;IEEE Trans. CAD,1986
3. Canonical Expressions in Boolean Algebra;Blake,1937
4. Fast recursive Boolean function manipulation;Brayton,1982
5. Partitioned complementation and minimization with new heuristic and tree-trimming strategies;Brayton,1982
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Feature causality;Journal of Systems and Software;2024-03
2. Causality in configurable software systems;Proceedings of the 44th International Conference on Software Engineering;2022-05-21
3. Aggregating Probabilistic Judgments;Electronic Proceedings in Theoretical Computer Science;2019-07-19
4. Approaches for Enumerating All the Essential Prime Implicants;Artificial Intelligence: Methodology, Systems, and Applications;2018
5. Computing prime implicates by pruning the search space and accelerating subsumption;Journal of Logic and Computation;2015-10-16