An input variable partitioning algorithm for functional decomposition of a system of Boolean functions based on the tabular method-Reference-Cited by-同舟云学术

An input variable partitioning algorithm for functional decomposition of a system of Boolean functions based on the tabular method

Published:2015-04 Issue: Volume:185 Page:208-219
ISSN:0166-218X
Container-title:Discrete Applied Mathematics
language:en
Short-container-title:Discrete Applied Mathematics

Author:

Taghavi Afshord Saeid^ORCID,Pottosin Yuri,Arasteh Bahman

Publisher

Elsevier BV

Subject

Applied Mathematics,Discrete Mathematics and Combinatorics

Reference32 articles.

1. http://www1.cs.columbia.edu/~cs4861/sis/espresso-examples/ex/, (accessed 28.10.13).

2. Decomposition of Boolean Functions Based on Solving Logical Equations;Bibilo,2009

3. Decomposition of systems of Boolean functions determined by binary decision diagrams;Bibilo;J. Comput. Syst. Sci. Int.,2011

4. Verification of logical descriptions with functional indeterminacy;Cheremisinova;Meas. Automation Monit. (PAK),2012

5. Formal verification with functional indeterminacy on the basis of satisfiability testing of the conjunctive normal form;Cheremisinova;Autom. Control Comput. Sci.,2012

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. DATA REPLICATION IN DISTRIBUTED SYSTEMS USING OLYMPIAD OPTIMIZATION ALGORITHM;Facta Universitatis, Series: Mechanical Engineering;2023-10-31

2. A heuristic method for bi-decomposition of partial Boolean functions;Informatics;2020-09-30

3. Boolean Function Decomposition Based on Grover Algorithm and Its Simulation Using Quantum Language Quipper;Communications in Computer and Information Science;2020

4. Parallel decomposition of a system of partial boolean functions;Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitel'naya tekhnika i informatika;2018-12-01