112 search results - page 2 / 23 » Ordered Binary Decision Diagrams and the Davis-Putnam Proced... |
BIRTHDAY
2008
Springer
13 years 6 months ago
2008
Springer
The paper is an overview of a recently developed compilation data structure for graphical models, with specific application to constraint networks. The AND/OR Multi-Valued Decision...
ASIAMS
2009
IEEE
13 years 9 months ago
2009
IEEE
—Reduced ordered binary decision diagram (ROBDD) is a memory-efficient data structure which is used in many applications such as synthesis, digital system, verification, testing ...
AAAI
2008
13 years 7 months ago
2008
We present a new algorithm for reasoning in the description logic SHIQ, which is the most prominent fragment of the Web Ontology Language OWL. The algorithm is based on ordered bi...
ECSQARU
2007
Springer
13 years 11 months ago
2007
Springer
The binary representation is widely used for representing focal sets of Dempster-Shafer belief functions because it allows to compute efficiently all relevant operations. However, ...
ISAAC
1993
Springer
13 years 8 months ago
1993
Springer
A binary decision diagram (BDD) is a directed acyclic graph for representing a Boolean function. BDD’s are widely used in various areas which require Boolean function manipulatio...