Results 261 to 270 of about 65,002 (306)

On CNF Encodings of Decision Diagrams

Lecture Notes in Computer Science, 2016
Decisions diagrams such as Binary Decision Diagrams (BDDs), Multi-valued Decision Diagrams (MDDs) and Negation Normal Forms (NNFs) provide succinct ways of representing Boolean and other finite functions. Hence they provide a powerful tool for modelling complex constraints in discrete satisfaction and optimization problems.
Graeme Gange, Peter J Stuckey, Gange Graeme   +2 more
exaly   +2 more sources

Improving Decision Diagrams for Decision Theoretic Planning

, 2013
In the domain of decision theoretic planning, the factored framework (FMDP) has produced optimized algorithms using Decision Trees (SVI, SPI) and Algebraic Decision Diagrams (SPUDD).However, the state-of-the-art SPUDD algorithm requires i) the problem to be specified with binary variables and ii) the data structures to share a common order on variables.
Magnan, Jean-Christophe, Wuillemin, Pierre-Henri   +1 more
openaire   +3 more sources

Sylvan: multi-core framework for decision diagrams [PDF]

International Journal on Software Tools for Technology Transfer, 2016
Decision diagrams, such as binary decision diagrams, multi-terminal binary decision diagrams and multi-valued decision diagrams, play an important role in various fields.
Tom Van Dijk, Jaco Van De Pol, Van Dijk Tom   +2 more
exaly   +2 more sources

Basing Decisions on Sentences in Decision Diagrams

Proceedings of the AAAI Conference on Artificial Intelligence, 2021
The Sentential Decision Diagram (SDD) is a recently proposed representation of Boolean functions, containing Ordered Binary Decision Diagrams (OBDDs) as a distinguished subclass. While OBDDs are characterized by total variable orders, SDDs are characterized by dissections of variable orders, known as vtrees.
Yexiang Xue, Arthur Choi, Adnan Darwiche
openaire   +1 more source

Fibonacci decision diagrams and spectral Fibonacci decision diagrams

Proceedings 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2000), 2002
The authors define the Fibonacci decision diagrams (FibDDs) permitting representation of functions defined in a number of points different from N=2/sup n/ by decision diagrams consisting of nodes with two outgoing edges. We show the relationships between the FibDDs and the contracted Fibonacci codes. Then, we define the Spectral Fibonacci DDs (FibSTDDs)
Radomir S. Stankovic, Milena Stankovic, Jaakko Astola, Karen O. Egiazarian   +3 more
openaire   +1 more source

On one class of decision diagrams

Automation and Remote Control, 2016
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Alexander A. Semenov, Ilya V. Otpuschennikov   +1 more
openaire   +2 more sources

Algebraic Decision Diagrams and Their Applications

Formal Methods in System Design, 1997
In 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, GAONA C, FROHM E, HACHTEL G. D, MACII, Enrico, PARDO A, SOMENZI F.   +6 more
openaire   +1 more source

Sequence Decision Diagrams

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, Gianfranco Ciardo, Marek Chrobak   +2 more
openaire   +1 more source

Graph coloring with decision diagrams

Mathematical Programming, 2021
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Testing with decision diagrams

Integration, 1998
Summary: 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