2550 search results - page 17 / 510 » Difference Decision Diagrams |
99
Voted
ERSHOV
2001
Springer
15 years 6 months ago
2001
Springer
There are many different ways of proving formulas in proposition logic. Many of these can easily be characterized as forms of resolution (e.g. [12] and [9]). Others use so-called...
100
click to vote
NIPS
2000
15 years 3 months ago
2000
We propose a method of approximate dynamic programming for Markov decision processes (MDPs) using algebraic decision diagrams (ADDs). We produce near-optimal value functions and p...
99
Voted
ATVA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. This work introduces a new data structure, called Lattice-Valued Binary Decision Diagrams (or LVBDD for short), for the compact representation and manipulation of functio...
101
click to vote
DAC
1998
ACM
16 years 2 months ago
1998
ACM
Efficient techniques for the manipulation of Binary Decision Diagrams (BDDs) are key to the success of formal verification tools. Recent advances in reachability analysis and mode...
129
click to vote
DATE
2006
IEEE
15 years 7 months ago
2006
IEEE
Quantum information processing technology is in its pioneering stage and no proficient method for synthesizing quantum circuits has been introduced so far. This paper introduces a...