Search Results - "Binary decision diagram"

Disjunctive and conjunctive decompositions of incompletely defined Boolean functions in a Binary Decision Diagram

Authors: P. N. Bibilo

Source: Informatika, Vol 22, Iss 1, Pp 40-65 (2025)

Subject Terms: system of partial boolean functions, sat-problem, Electronic computers. Computer science, shannon expansion, additional definition of a partial boolean function, algebraic decompositions of boolean functions, QA75.5-76.95, binary decision diagram

Access URL: https://doaj.org/article/e52c64280fdc4e8b8f4113d6dc344c00

On the limitations of ROBDDs in deciding the evasiveness of Boolean functions

Authors: Jesús Aransay Laureano Lambán Julio Rubio

Source: Discrete Mathematics Letters, Vol 16, Pp 43-50 (2025)

Subject Terms: evasiveness, binary decision diagram, simplicial complex, Mathematics, QA1-939

File Description: electronic resource

Relation: https://www.dmlett.com/archive/v16/DML25_v16_pp43-50.pdf; https://doaj.org/toc/2664-2557

Access URL: https://doaj.org/article/f33bbfe8cce1454fbd05bb2776faa0c5

Algorithms for extracting subsystems from a multilevel representation of a system of Boolean functions for joint minimization

Authors: P. N. Bibilo N. A. Kirienko V. I. Romanov

Source: Informatika, Vol 21, Iss 4, Pp 7-23 (2024)

Subject Terms: system of boolean functions, Electronic computers. Computer science, disjunctive normal form, boolean network, vhdl, asic, QA75.5-76.95, binary decision diagram, logic synthesis

Access URL: https://doaj.org/article/0726d1f90fe043889015547e9271f069

Quantum and classical nondeterministic OBDDs

Authors: A. F. Gainutdinova

Source: Учёные записки Казанского университета: Серия Физико-математические науки, Vol 166, Iss 4, Pp 470-484 (2024)

Subject Terms: branching program, nondeterminism, hierarchy of complexity classes, quantum algorithm, QA1-939, ordered binary decision diagram, obdd, 0102 computer and information sciences, 0101 mathematics, complexity, 01 natural sciences, Mathematics

Access URL: https://doaj.org/article/c97fdab324834721bc10ef497c153471

Technology independent optimization when implementing sparse systems of disjunctive normal forms of Boolean functions in ASIC

Authors: P. N. Bibilo S. N. Kardash

Source: Informatika, Vol 21, Iss 1, Pp 28-47 (2024)

Subject Terms: shannon expansion, dnf minimization, asic, vhdl, QA75.5-76.95, block cover of the dnf system, binary decision diagram, 03 medical and health sciences, 0302 clinical medicine, Electronic computers. Computer science, dnf, boolean network, boolean function system, logic synthesis

Access URL: https://doaj.org/article/aee86a3f36df4ab19214b0db9eb3dbdb

A Recursive Framework for Evaluating Moments Using Zero-Suppressed Binary Decision Diagrams

Authors: Brian Godwin Lim Renzo Roel Tan Jun Kawahara et al.

Source: IEEE Access, Vol 12, Pp 91886-91895 (2024)

Subject Terms: method of moments, family operation, zero-suppressed binary decision diagram, 0202 electrical engineering, electronic engineering, information engineering, Discrete optimization, Electrical engineering. Electronics. Nuclear engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, TK1-9971

Access URL: https://doaj.org/article/28706bdc4a834fd6a4656852f3a1d0f8

Development of a BDD-based methodology to estimate importance measures in seismic probabilistic risk assessment

Authors: Seunghyun Jang Min Kyu Kim

Source: Nuclear Engineering and Technology, Vol 57, Iss 4, Pp 103281- (2025)

Subject Terms: Seismic probabilistic risk assessment, Importance measure, Binary decision diagram, Level 1 PRA, Nuclear engineering. Atomic power, TK9001-9401

File Description: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S173857332400531X; https://doaj.org/toc/1738-5733

Access URL: https://doaj.org/article/263440e374e5428a8f2a5c1f797ebdb3

Model Reduction and Control of Boolean Networks Using Binary Decision Diagrams

Authors: 本山, 風馬 小林, 孝一 山下, 裕 et al.

Contributors: 本山, 風馬 小林, 孝一 山下, 裕 et al.

Subject Terms: Boolean network (BN), binary decision diagram (BDD), model reduction, finit-time control, systems biology

File Description: application/pdf

Access URL: https://ndlsearch.ndl.go.jp/books/R100000039-I14364425

Degree: 博士(情報科学) -- 北海道大学

Application of binary decision diagram for uncertainty propagation treatment in probabilistic safety assessment

Authors: Mohammed Boufenar

Subject Terms: Medicine, Sociology, Cancer, Space Science, Environmental Sciences not elsewhere classified, Biological Sciences not elsewhere classified, Mathematical Sciences not elsewhere classified, Chemical Sciences not elsewhere classified, Information Systems not elsewhere classified, Binary decision diagram, probabilistic safety assessment, uncertainty propagation, minimal cut sets, lognormal distribution

Relation: https://figshare.com/articles/journal_contribution/Application_of_binary_decision_diagram_for_uncertainty_propagation_treatment_in_probabilistic_safety_assessment/30118529

Availability: https://doi.org/10.6084/m9.figshare.30118529.v1
https://figshare.com/articles/journal_contribution/Application_of_binary_decision_diagram_for_uncertainty_propagation_treatment_in_probabilistic_safety_assessment/30118529

Application of decision diagrams of incompletely specified of k-valued logic functions in the synthesis of logical circuits

Authors: P. N. Bibilo

Source: Informatika, Vol 20, Iss 2, Pp 39-64 (2023)

Subject Terms: binary decision diagram (bdd), partial functions, Electronic computers. Computer science, boolean functions, shannon expansion, 0202 electrical engineering, electronic engineering, information engineering, multi-valued decision diagram (mdd), vhdl, QA75.5-76.95, 02 engineering and technology, k-valued logic, vlsi, digital logic synthesis

Access URL: https://doaj.org/article/c167c0a7b5484e638db9a30e6bf0f6c2

Counting Reduced Ordered Binary Decision Diagrams With Respect to Size

Authors: Clément, Julien Genitrini, Antoine Groupe de Recherche en Informatique, Image et Instrumentation de Caen (GREYC) et al.

Contributors: Clément, Julien Genitrini, Antoine Groupe de Recherche en Informatique, Image et Instrumentation de Caen (GREYC) et al.

Source: https://hal.sorbonne-universite.fr/hal-05183438 ; 2025.

Subject Terms: Boolean Function, Reduced Ordered Binary Decision Diagram, Enumerative Combinatorics, Directed Acyclic Graph, [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]

Availability: https://hal.sorbonne-universite.fr/hal-05183438
https://hal.sorbonne-universite.fr/hal-05183438v1/document
https://hal.sorbonne-universite.fr/hal-05183438v1/file/ClementGenitrini_presoussionTOCL.pdf

Hardware implementation of Boolean functions based on the automaton model

Authors: A. A. Butov

Source: Informatika, Vol 20, Iss 1, Pp 91-101 (2023)

Subject Terms: discrete automaton, boolean function, Electronic computers. Computer science, synthesis of combination circuits, read-only memory, QA75.5-76.95, binary decision diagram

Access URL: https://doaj.org/article/6cd740f24cb34857a948ff26d4842e9a

Assisting the decision making-A generalization of choice models to handle the binary choices

Authors: Muhammad Arshad Salman Cheema Juan L. G. Guirao et al.

Source: AIMS Mathematics, Vol 8, Iss 2, Pp 3083-3100 (2023)

Subject Terms: Artificial intelligence, FOS: Political science, choice behaviors, Social Sciences, 01 natural sciences, Decision Sciences, Range (aeronautics), Engineering, Conjoint Analysis, Political science, comparative models, Mathematical optimization, Statistics, Politics, 16. Peace & justice, exponential family of distributions, Programming language, Economics, Econometrics and Finance, Aerospace engineering, Economics and Econometrics, Markov chain, Discrete Choice Models in Economics and Health Care, Generalization, FOS: Law, Management Science and Operations Research, Bayesian probability, Mathematical analysis, Preference, Database, Binary decision diagram, Preference Elicitation, Theoretical computer science, Gibbs sampling, Machine learning, 0103 physical sciences, QA1-939, FOS: Mathematics, Discrete Choice Models, 0101 mathematics, Extension (predicate logic), Mathematical economics, Arithmetic, Scalability, Computer science, Markov chain Monte Carlo, Stated Preference Methods, Parametric statistics, paired comparison, Time Series Forecasting Methods, Binary number, Law, Legitimacy, Mathematics

Access URL: https://doaj.org/article/29a659f2ccb14f0ebaea04a6e3ee86b9

On the Optimal OBDD Representation of 2-XOR Boolean Affine Spaces

Authors: Anna Bernasconi Valentina Ciriani Marco Longhi

Source: 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE). :1437-1442

Subject Terms: affine space representation, Ordered Binary Decision Diagram, variable ordering, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

File Description: application/pdf

Access URL: https://hdl.handle.net/11568/1138142
https://doi.org/10.23919/DATE54114.2022.9774551

Compression with wildcards: Abstract simplicial complexes

Authors: Wild, Marcel

Source: Quaestiones Mathematicae; Vol. 46 No. 6 (2023); 1151–1173

Subject Terms: FOS: Computer and information sciences, Abstract simplicial complex, face-numbers, antitone Boolean function, exclusive sum of products, binary decision diagram, compressed enumeration, wildcards, reliability polynomial, partitionability conjecture, Computer Science - Data Structures and Algorithms, FOS: Mathematics, Mathematics - Combinatorics, Data Structures and Algorithms (cs.DS), Combinatorics (math.CO)

File Description: application/pdf

Access URL: http://arxiv.org/abs/1812.02570
https://www.ajol.info/index.php/qm/article/view/254699

Insights gained from applying negate-down during quantification for seismic probabilistic safety assessment

Authors: Ji Suk Kim Man Cheol Kim

Source: Nuclear Engineering and Technology, Vol 54, Iss 8, Pp 2933-2940 (2022)

Subject Terms: Binary decision diagram, Delete-term approximation, TK9001-9401, Minimal cutset upper bound, 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, Core damage frequency, Nuclear engineering. Atomic power, 02 engineering and technology, Seismic probabilistic safety assessment

Access URL: https://doaj.org/article/acecc143cb994dccafeafffe1a507487

TeDDy: Templated decision diagram library

Authors: Michal Mrena Miroslav Kvassay Elena Zaitseva

Source: SoftwareX, Vol 26, Iss , Pp 101715- (2024)

Subject Terms: Binary decision diagram, Boolean function, Discrete function, Integer function, Multi-valued decision diagram, Reliability analysis, Computer software, QA76.75-76.765

File Description: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S2352711024000864; https://doaj.org/toc/2352-7110

Access URL: https://doaj.org/article/f21d7dc2326344f980cdb6f830a02b1d

A new scheme of 2:1 photonic multiplexer and multiplexer-based NOT, OR, AND logic gates in electro-optic Mach–Zehnder interferometer

Authors: Sourabh Kumar Das Nirmalya Pahari

Source: e-Prime: Advances in Electrical Engineering, Electronics and Energy, Vol 6, Iss , Pp 100375- (2023)

Subject Terms: Beam propagation method, Optical computing, Binary Decision Diagram, Reduced Binary Decision Diagram, Mach–Zehnder interferometer, Electro optic effect, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

File Description: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S277267112300270X; https://doaj.org/toc/2772-6711

Access URL: https://doaj.org/article/8aab0b656eb641538322f863797aa7ad

Extracting concepts from triadic contexts using Binary Decision Diagram

Authors: Julio Cesar Vale Neves Luiz Enrique Zarate Mark Alan Junho Song

Source: Journal of Universal Computer Science, Vol 28, Iss 6, Pp 591-619 (2022)
JUCS-Journal of Universal Computer Science 28(6): 591-619

Subject Terms: Binary Decision Diagram, Formal Concept Analysis, Electronic computers. Computer science, 0206 medical engineering, 0202 electrical engineering, electronic engineering, information engineering, QA75.5-76.95, 02 engineering and technology, Triadic Concept Analysis

File Description: text/html

Access URL: https://doaj.org/article/1e5fcc38c4f3470eabfc0ef9c1d1ede5

Experimental comparison of the effectiveness of programs for minimizing systems of Boolean functions in the class of disjunctive normal forms

Authors: P. N. Bibilo I. P. Loginova

Source: Informatika, Vol 19, Iss 2, Pp 26-55 (2022)

Subject Terms: system of boolean functions, separate minimization of functions, shortest dnf, openmp standard, QA75.5-76.95, 02 engineering and technology, 01 natural sciences, disjunctive normal form (dnf), the shortest dnf system, joint minimization of functions, binary decision diagram (bdd), Electronic computers. Computer science, 0202 electrical engineering, electronic engineering, information engineering, 0101 mathematics

Access URL: https://doaj.org/article/08b09e9c29fd4d9db6f1cb04613b7860