Relevant bibliographies by topics / Reduced ordered binary decision diagram

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Book chapters
  4. Conference papers

Academic literature on the topic 'Reduced ordered binary decision diagram'

Author: Grafiati
Published: 3 June 2025
Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Reduced ordered binary decision diagram.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Reduced ordered binary decision diagram"

1

Dvořák, Václav. "Bounds on Size of Decision Diagrams." JUCS - Journal of Universal Computer Science 3, no. (1) (1997): 2–22. https://doi.org/10.3217/jucs-003-01-0002.

Full text
Abstract:
Known upper bounds on the number of required nodes (size) in the ordered binary and multiple-valued decision diagram (DD) for representation of logic functions are reviewed and reduced by a small constant factor. New upper bounds are derived for partial logic functions containing don t cares and also for complete Boolean functions specified by Boolean expressions. The evaluation of upper bounds is based on a bottom-up algorithm for constructing efficient ordered DDs developed by the author.
APA, Harvard, Vancouver, ISO, and other styles
2

Lai, Yong, Dayou Liu, and Shengsheng Wang. "Reduced ordered binary decision diagram with implied literals: a new knowledge compilation approach." Knowledge and Information Systems 35, no. 3 (2012): 665–712. http://dx.doi.org/10.1007/s10115-012-0525-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Prihozhy, Anatoly A. "Synthesis of quantum circuits based on incompletely specified functions and if-decision diagrams." Journal of the Belarusian State University. Mathematics and Informatics, no. 3 (December 14, 2021): 84–97. http://dx.doi.org/10.33581/2520-6508-2021-3-84-97.

Full text
Abstract:
The problem of synthesis and optimisation of logical reversible and quantum circuits from functional descriptions represented as decision diagrams is considered. It is one of the key problems being solved with the aim of creating quantum computing technology and quantum computers. A new method of stepwise transformation of the initial functional specification to a quantum circuit is proposed, which provides for the following project states: reduced ordered binary decision diagram, if-decision diagram, functional if-decision diagram, reversible circuit and quantum circuit. The novelty of the me
APA, Harvard, Vancouver, ISO, and other styles
4

Dong, Rongsheng, Yangyang Zhu, Zhoubo Xu, and Fengying Li. "Decision Diagram Based Symbolic Algorithm for Evaluating the Reliability of a Multistate Flow Network." Mathematical Problems in Engineering 2016 (2016): 1–13. http://dx.doi.org/10.1155/2016/6908120.

Full text
Abstract:
Evaluating the reliability of Multistate Flow Network (MFN) is an NP-hard problem. Ordered binary decision diagram (OBDD) or variants thereof, such as multivalued decision diagram (MDD), are compact and efficient data structures suitable for dealing with large-scale problems. Two symbolic algorithms for evaluating the reliability of MFN, MFN_OBDD and MFN_MDD, are proposed in this paper. In the algorithms, several operating functions are defined to prune the generated decision diagrams. Thereby the state space of capacity combinations is further compressed and the operational complexity of the
APA, Harvard, Vancouver, ISO, and other styles
5

Das, Apangshu, Akash Debnath, and Sambhu Nath Pradhan. "Reduced ordered binary decision diagram-based combinational circuit synthesis for optimising area, power and temperature." International Journal of Nanoparticles 11, no. 2 (2019): 94. http://dx.doi.org/10.1504/ijnp.2019.099181.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Pradhan, Sambhu Nath, Akash Debnath, and Apangshu Das. "Reduced ordered binary decision diagram-based combinational circuit synthesis for optimising area, power and temperature." International Journal of Nanoparticles 11, no. 2 (2019): 94. http://dx.doi.org/10.1504/ijnp.2019.10020325.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Radmanovic, Milos. "A study of binary decision diagram characteristics of bent Boolean functions." Facta universitatis - series: Electronics and Energetics 36, no. 2 (2023): 285–98. http://dx.doi.org/10.2298/fuee2302285r.

Full text
Abstract:
Bent Boolean functions exist only for an even number of variables, moreover, they are unbalanced. Therefore, they are used in coding theory and in many areas of computer science. General form of bent functions is still unknown. One way of representing Boolean functions is with a reduced ordered binary decision diagram (ROBDD). The strength of ROBDDs is that they can represent Boolean functions data with a high level of redundancy in a compact form, as long as the data is encoded in such a way that the redundancy is exposed. This paper investigates characteristics of bent functions with focus o
APA, Harvard, Vancouver, ISO, and other styles
8

Ali, Muhammad Ali Rushdi, and Mohammad Alturki Alaa. "Computation of k-out-of-n System Reliability via Reduced Ordered Binary Decision Diagrams." British Journal of Mathematics & Computer Science 22, no. 3 (2017): 1–9. https://doi.org/10.9734/BJMCS/2017/33642.

Full text
Abstract:
A prominent reliability model is that of the partially-redundant (k-out-of-n) system. We use algebraic as well as signal-flow-graph methods to explore and expose the AR algorithm for computing k-out-of-n reliability. We demonstrate that the AR algorithm is, in fact, both a recursive and an iterative implementation of the strategy of Reduced Ordered Binary Decision Diagrams (ROBDDs). The underlying ROBDD for the AR recursive algorithm is represented by a compact Signal Flow Graph (SFG) that is used to deduce AR iterative algorithms of quadratic temporal complexity and linear spatial complexity.
APA, Harvard, Vancouver, ISO, and other styles
9

Wille, Robert, Görschwin Fey, and Rolf Drechsler. "Building free Binary Decision Diagrams using SAT solvers." Facta universitatis - series: Electronics and Energetics 20, no. 3 (2007): 381–94. http://dx.doi.org/10.2298/fuee0703381w.

Full text
Abstract:
Free Binary Decision Diagrams (FBDDs) are a data structure for the representation of Boolean functions. In contrast to Ordered Binary Decision Diagrams (OBDDs) FBDDs allow different variable orderings along each path. Thus, FBDDs are the more compact representation while most of the properties of OBDDs are kept. However, how to efficiently build small FBDDs for a given function is still an open question. In this work we propose FBDD construction with the help of SAT solvers. "Recording" the single steps of a SAT solver during the search process leads to an FBDD. Furthermore, by exploiting appr
APA, Harvard, Vancouver, ISO, and other styles
10

Rushdi, Ali, and Alaa Alturki. "Computation of k-out-of-n System Reliability via Reduced Ordered Binary Decision Diagrams." British Journal of Mathematics & Computer Science 22, no. 3 (2017): 1–9. http://dx.doi.org/10.9734/bjmcs/2017/33642.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Reduced ordered binary decision diagram"

1

Fernández-Díaz, Álvaro, Christel Baier, Clara Benac-Earle, and Lars-Åke Fredlund. "Static Partial Order Reduction for Probabilistic Concurrent Systems." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2013. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-121261.

Full text
Abstract:
Sound criteria for partial order reduction for probabilistic concurrent systems have been presented in the literature. Their realization relies on a depth-first search-based approach for generating the reduced model. The drawback of this dynamic approach is that it can hardly be combined with other techniques to tackle the state explosion problem, e.g., symbolic probabilistic model checking with multi-terminal variants of binary decision diagrams. Following the approach presented by Kurshan et al. for non-probabilistic systems, we study partial order reduction techniques for probabilistic conc
APA, Harvard, Vancouver, ISO, and other styles
2

Fernández-Díaz, Álvaro, Christel Baier, Clara Benac-Earle, and Lars-Åke Fredlund. "Static Partial Order Reduction for Probabilistic Concurrent Systems." Technische Universität Dresden, 2012. https://tud.qucosa.de/id/qucosa%3A26083.

Full text
Abstract:
Sound criteria for partial order reduction for probabilistic concurrent systems have been presented in the literature. Their realization relies on a depth-first search-based approach for generating the reduced model. The drawback of this dynamic approach is that it can hardly be combined with other techniques to tackle the state explosion problem, e.g., symbolic probabilistic model checking with multi-terminal variants of binary decision diagrams. Following the approach presented by Kurshan et al. for non-probabilistic systems, we study partial order reduction techniques for probabilistic conc
APA, Harvard, Vancouver, ISO, and other styles
3

"On efficient ordered binary decision diagram minimization heuristics based on two-level logic." 1999. http://library.cuhk.edu.hk/record=b5889831.

Full text
Abstract:
by Chun Gu.<br>Thesis (M.Phil.)--Chinese University of Hong Kong, 1999.<br>Includes bibliographical references (leaves 69-71).<br>Abstract also in Chinese.<br>Chapter 1 --- Introduction --- p.3<br>Chapter 2 --- Definitions --- p.7<br>Chapter 3 --- Some Previous Work on OBDD --- p.13<br>Chapter 3.1 --- The Work of Bryant --- p.13<br>Chapter 3.2 --- Some Variations of the OBDD --- p.14<br>Chapter 3.3 --- Previous Work on Variable Ordering of OBDD --- p.16<br>Chapter 3.3.1 --- The FIH Heuristic --- p.16<br>Chapter 3.3.2 --- The Dynamic Variable Ordering --- p.17<br>Chapter 3.3.3 --- The I
APA, Harvard, Vancouver, ISO, and other styles
4

"Transmission System Restoration Strategies in Real Time." Doctoral diss., 2010. http://hdl.handle.net/2286/R.I.8701.

Full text
Abstract:
abstract: After a power system blackout, system restoration is the most important task for the operators. Most power systems rely on an off&ndashline; restoration plan and the experience of operators to select scenarios for the black start path. Using an off&ndashline; designed restoration plan based on past experience may not be the most reliable approach under changing network configurations and loading levels. Hence, an objective restoration path selection procedure, including the option to check constraints, may be more responsive in providing directed guidance to the operators to identify
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Reduced ordered binary decision diagram"

1

Saglietti, Francesca. "Dynamic Decision on Checkpointing by Use of Reduced Ordered Binary Decision Diagrams." In Safe Comp 97. Springer London, 1997. http://dx.doi.org/10.1007/978-1-4471-0997-6_27.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Lu, Kuan, Ramin Yahyapour, Edwin Yaqub, and Constantinos Kotsokalis. "Structural Optimization of Reduced Ordered Binary Decision Diagrams for SLA Negotiation in IaaS of Cloud Computing." In Service-Oriented Computing. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-34321-6_18.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Bryant, Randal E., and Marijn J. H. Heule. "Generating Extended Resolution Proofs with a BDD-Based SAT Solver." In Tools and Algorithms for the Construction and Analysis of Systems. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-72016-2_5.

Full text
Abstract:
AbstractIn 2006, Biere, Jussila, and Sinz made the key observation that the underlying logic behind algorithms for constructing Reduced, Ordered Binary Decision Diagrams (BDDs) can be encoded as steps in a proof in theextended resolutionlogical framework. Through this, a BDD-based Boolean satisfiability (SAT) solver can generate a checkable proof of unsatisfiability. Such proofs indicate that the formula is truly unsatisfiable without requiring the user to trust the BDD package or the SAT solver built on top of it.We extend their work to enable arbitrary existential quantification of the formu
APA, Harvard, Vancouver, ISO, and other styles
4

Jacobs, Swen, and Mouhammad Sakr. "AIGEN: Random Generation of Symbolic Transition Systems." In Computer Aided Verification. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81688-9_20.

Full text
Abstract:
AbstractAIGEN is an open source tool for the generation of transition systems in a symbolic representation. To ensure diversity, it employs a uniform random sampling over the space of all Boolean functions with a given number of variables. AIGEN relies on reduced ordered binary decision diagrams (ROBDDs) and canonical disjunctive normal form (CDNF) as canonical representations that allow us to enumerate Boolean functions, in the former case with an encoding that is inspired by data structures used to implement ROBDDs. Several parameters allow the user to restrict generation to Boolean function
APA, Harvard, Vancouver, ISO, and other styles
5

Arge, Lars. "The I/O-complexity of Ordered Binary-Decision Diagram manipulation." In Algorithms and Computations. Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/bfb0015411.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Tani, Seiichiro, and Hiroshi Imai. "A reordering operation for an ordered binary decision diagram and an extended framework for combinatorics of graphs." In Algorithms and Computation. Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58325-4_225.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Gange Graeme, Lagoon Vitaly, and Stuckey Peter J. "Fast Set Bounds Propagation using BDDs." In Frontiers in Artificial Intelligence and Applications. IOS Press, 2008. https://doi.org/10.3233/978-1-58603-891-5-505.

Full text
Abstract:
Set bounds propagation is the most popular approach to solving constraint satisfaction problems (CSPs) involving set variables. The use of reduced ordered Binary Decision Diagrams (BDDs) to represent and solve set CSPs is well understood and brings the advantage that propagators for arbitrary set constraints can be built. This can substantially improve solving. The disadvantages of BDDs is that creating and manipulating BDDs can be expensive. In this paper we show how we can perform set bounds propagation using BDDs in a much more efficient manner by generically creating set constraint predica
APA, Harvard, Vancouver, ISO, and other styles
8

Benamira, Adrien, Tristan Guérand, Thomas Peyrin, and Hans Soegeng. "Neural Network-Based Rule Models with Truth Tables." In Frontiers in Artificial Intelligence and Applications. IOS Press, 2023. http://dx.doi.org/10.3233/faia230274.

Full text
Abstract:
Understanding the decision-making process of a machine/deep learning model is crucial, particularly in security-sensitive applications. In this study, we introduce a neural network framework that combines the global and exact interpretability properties of rule-based models with the high performance of deep neural networks. Our proposed framework, called Truth Table rules (TT-rules), is built upon Truth Table nets (TTnets), a family of deep neural networks initially developed for formal verification. By extracting the set of necessary and sufficient rules R from the trained TTnet model (global
APA, Harvard, Vancouver, ISO, and other styles
9

Pliego, Alberto, and Fausto Pedro García Márquez. "Big Data and Web Intelligence." In Big Data. IGI Global, 2016. http://dx.doi.org/10.4018/978-1-4666-9840-6.ch012.

Full text
Abstract:
The growing amount of available data generates complex problems when they need to be treated. Usually these data come from different sources and inform about different issues, however, in many occasions these data can be interrelated in order to gather strategic information that is useful for Decision Making processes in multitude of business. For a qualitatively and quantitatively analysis of a complex Decision Making process is critical to employ a correct method due to the large number of operations required. With this purpose, this chapter presents an approach employing Binary Decision Dia
APA, Harvard, Vancouver, ISO, and other styles
10

Pliego, Alberto, and Fausto Pedro García Márquez. "Big Data and Web Intelligence." In Handbook of Research on Trends and Future Directions in Big Data and Web Intelligence. IGI Global, 2015. http://dx.doi.org/10.4018/978-1-4666-8505-5.ch010.

Full text
Abstract:
The growing amount of available data generates complex problems when they need to be treated. Usually these data come from different sources and inform about different issues, however, in many occasions these data can be interrelated in order to gather strategic information that is useful for Decision Making processes in multitude of business. For a qualitatively and quantitatively analysis of a complex Decision Making process is critical to employ a correct method due to the large number of operations required. With this purpose, this chapter presents an approach employing Binary Decision Dia
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Reduced ordered binary decision diagram"

1

Moeinzadeh, Hossein, Mehdi Mohammadi, Hossein Pazhoumand-dar, Arman Mehrbakhsh, Navid Kheibar, and Nasser Mozayani. "Evolutionary-Reduced Ordered Binary Decision Diagram." In 2009 Third Asia International Conference on Modelling & Simulation. IEEE, 2009. http://dx.doi.org/10.1109/ams.2009.130.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Priyadharshini, R. Indra, Priscilla Packia Slacer, A. Benila, M. Mercy Theresa, and P. Pattunna Rajam. "Detection of bridging fault using reduced ordered binary decision diagram." In RECENT TRENDS IN SCIENCE AND ENGINEERING. AIP Publishing, 2022. http://dx.doi.org/10.1063/5.0074221.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Biswal, Pradeep Kumar. "A Concurrent Testing Scheme for Muller Circuits Using Reduced Ordered Binary Decision Diagram." In 2022 IEEE Region 10 Symposium (TENSYMP). IEEE, 2022. http://dx.doi.org/10.1109/tensymp54529.2022.9864357.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Binder, Walter, Ion Constantinescu, and Boi Faltings. "Efficient Service Composition Using Zero-Suppressed Reduced Ordered Binary Decision Diagrams." In 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings)(WI'06). IEEE, 2006. http://dx.doi.org/10.1109/wi.2006.68.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Halder, Nilimesh, A. B. M. Tariqul Islam, Mohammad Fazleh Elahi, and Ju Bin Song. "Analysis of composition techniques for combinational switching functions using reduced ordered Binary Decision Diagrams (ROBDDs)." In 2007 10th International Conference on Computer and Information Technology (ICCIT 2007). IEEE, 2007. http://dx.doi.org/10.1109/iccitechn.2007.4579401.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Hou, Jie, Fengying Li, and Huijiao Wang. "An Ordered Binary Decision Diagram Model for Production Knowledge Representation and its Reasoning." In 2009 Third International Conference on Genetic and Evolutionary Computing (WGEC 2009). IEEE, 2009. http://dx.doi.org/10.1109/wgec.2009.103.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Segerlind, Nathan. "On the Relative Efficiency of Resolution-Like Proofs and Ordered Binary Decision Diagram Proofs." In 2008 23rd Annual IEEE Conference on Computational Complexity. IEEE, 2008. http://dx.doi.org/10.1109/ccc.2008.34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Zhang, Mingwei, Liangda Fang, Zhenhao Gu, Quanlong Guan, and Yong Lai. "A Multi-Valued Decision Diagram-Based Approach to Constrained Optimal Path Problems over Directed Acyclic Graphs." In Thirty-Third International Joint Conference on Artificial Intelligence {IJCAI-24}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/ijcai.2024/219.

Full text
Abstract:
Numerous combinatorial optimization problems can be reduced to the optimal path problem over directed acyclic graphs (DAGs). The constrained version of the optimal path problem requires the solution to satisfy a given logical constraint. BDD-constrained search (BCS) is an efficient algorithm for the constrained optimal path problem over DAGs. This algorithm considers edges as variables and constraints as Boolean functions and maintains constraints via binary decision diagrams (BDDs), a compact form of Boolean functions. However, BCS involves redundant operations during the search process. To r
APA, Harvard, Vancouver, ISO, and other styles
9

Kennedy, Lance, Issouf Kindo, and Arthur Choi. "On Training Neurons with Bounded Compilations." In 20th International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2023. http://dx.doi.org/10.24963/kr.2023/39.

Full text
Abstract:
Knowledge compilation offers a formal approach to explaining and verifying the behavior of machine learning systems, such as neural networks. Unfortunately, compiling even an individual neuron into a tractable representation such as an Ordered Binary Decision Diagram (OBDD), is an NP-hard problem. In this paper, we consider the problem of training a neuron from data, subject to the constraint that it has a compact representation as an OBDD. Our approach is based on the observation that a neuron can be compiled into an OBDD in polytime if (1) the neuron has integer weights, and (2) its aggregat
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Reduced ordered binary decision diagram' for particular source types:
Journal articles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography