Gotowe bibliografie tematyczne / Reduced ordered binary decision diagram

Spis treści

  1. Artykuły w czasopismach
  2. Rozprawy doktorskie
  3. Części książek
  4. Streszczenia konferencji

Gotowa bibliografia na temat „Reduced ordered binary decision diagram”

Autor: Grafiati
Data publikacji: 3 czerwca 2025
Data aktualizacji: 31 lipca 2025

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Reduced ordered binary decision diagram”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Artykuły w czasopismach na temat "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.

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Rozprawy doktorskie na temat "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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
3

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

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
4

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

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.

Części książek na temat "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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.

Streszczenia konferencji na temat "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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
Możesz być także zainteresowany rozszerzonymi bibliografiami na temat „Reduced ordered binary decision diagram” dla poszczególnych typów źródeł:
Artykuły w czasopismach
Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!

Do bibliografii