Results 171 to 180 of about 61,529 (217)
Some of the next articles are maybe not open access.
On one class of decision diagrams
Automation and Remote Control, 2016zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Alexander A. Semenov +1 more
openaire +2 more sources
Linear sifting of decision diagrams
Proceedings of the 34th annual conference on Design automation conference - DAC '97, 1997We propose a new algorithm, called linear sifting, for theoptimization of decision diagrams that combines the efficiency of sifting and the power of linear transformations. We show that the new algorithm is applicable to large examples, and that inmany cases it leads to substantiallymore compact diagrams when compared to simple variablereordering.
Christoph Meinel +2 more
openaire +2 more sources
Algebraic Decision Diagrams and Their Applications
Formal Methods in System Design, 1997In this paper we present theory and experimental results on Algebraic Decision Diagrams. These diagrams extend BDDs by allowing values from an arbitrary finite domain to be associated with the terminal nodes of the diagram. We present a treatment founded in Boolean algebras and discuss algorithms and results in several areas of application: Matrix ...
BAHAR, R. I +6 more
openaire +1 more source
2014
Compact encoding of finite sets of strings is a classic problem. The manipulation of large sets requires compact data structures that allow for efficient set operations. We define sequence decision diagrams (SeqDDs), which can encode arbitrary finite sets of strings over an alphabet.
Hind Alhakami +2 more
openaire +2 more sources
Compact encoding of finite sets of strings is a classic problem. The manipulation of large sets requires compact data structures that allow for efficient set operations. We define sequence decision diagrams (SeqDDs), which can encode arbitrary finite sets of strings over an alphabet.
Hind Alhakami +2 more
openaire +2 more sources
Testing with decision diagrams
Integration, 1998Summary: Decision diagrams (DDs) are the state-of-the-art data structure in VLSI CAD. They are widely used and in the mean time have also been integrated in commercial tools. In the following special interest is devoted to the use of DDs in the area of testing.
openaire +1 more source
Verifying Integrity of Decision Diagrams
Integration, 1998Summary: Decision Diagrams (DDs) are the state-of-the-art data structure in CAD of integrated circuits. They are used in many safety critical applications, like verification. In this paper security aspects of implementation techniques of DDs are discussed. A recursive checksum technique is presented for on- and off-line checks.
openaire +5 more sources
Decision diagrams for linear arithmetic
2009 Formal Methods in Computer-Aided Design, 2009Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checking techniques (e.g., predicate abstraction). We present a new data structure, Linear Decision Diagrams (LDDs), to represent formulas in LA and its fragments, which has certain ...
Sagar Chaki +2 more
openaire +1 more source
Layer Compression in Decision Diagrams
2008 20th IEEE International Conference on Tools with Artificial Intelligence, 2008A number of compact representation forms that are investigated in the knowledge compilation community are utilized in interactive product configuration and other forms of decision support. Multi-valued decision diagrams (MDDs) are particularly well suited for interactive configuration. However, for large variable domains MDDs can be unnecessarily large
Tarik Hadzic +2 more
openaire +2 more sources
Automata and Binary Decision Diagrams
1999We show that the concept of automata minimization leads to a nice interpretation of the famous canonicity of binary decision diagrams discovered by Bryant.
Jean-Francis Michon +1 more
openaire +1 more source
Graph coloring with decision diagrams
Mathematical Programming, 2021zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources