Results 31 to 40 of about 239 (84)
Ordered Binary Decision Diagrams and the Davis-Putnam Procedure [PDF]
, 1994 We compare two prominent decision procedures for propositional logic: Ordered Binary Decision Diagrams (obdds) and the Davis-Putnam procedure. Experimental results indicate that the Davis-Putnam procedure outperforms obdds in hard constraint-satisfaction
Tomás E. Uribe, Mark E. Stickel
core
Binary Decision Diagrams and Beyond: Enabling Technologies for Formal Verification [PDF]
, 2018 Ordered Binary Decision Diagrams (OBDDs) have found widespread use in CAD applications such as formal verification, logic synthesis, and test generation.
Randal E. Bryant (5409038)
core +3 more sources
Optimal Ordered Binary Decision Diagrams for Tree-like Circuits [PDF]
, 1996 Many Boolean functions have short representations by OBDDs (ordered binary decision diagrams), if appropriate variable orderings are used. For tree-like circuits which may contain EXOR-gates it is proved that some depth first traversal leads to an ...
Ingo Wegener +2 more
core
Ordered Binary Decision Diagrams, Graph Theory and Computational Geometry [PDF]
, 1995 Ordered binary decision diagrams (OBDDs in short) have been shown as a powerful paradigm in handling Boolean functions and have been applied to many fields such as VLSI CAD, AI, combinatorics, etc.
Hiroshi Imai +2 more
core +2 more sources
Size and Structure of Random Ordered Binary Decision Diagrams [PDF]
, 1998 We investigate the size and structure of ordered binary decision diagrams (OBDDs) for random Boolean functions. While it was known that for `most' values of n , the expected OBDD size of a random Boolean function with n variables is equal the worst ...
Clemens Gröpl +2 more
core
Factored Edge-Valued Binary Decision Diagrams [PDF]
, 1997 Factored Edge-Valued Binary Decision Diagrams form an extension to Edge-Valued Binary Decision Diagrams. By associating both an additive and a multiplicative weight with the edges, FEVBDDs can be used to represent a wider range of functions concisely. As
Paul Tafertshofer, Massoud Pedram
core
SDDs Are Exponentially More Succinct than OBDDs [PDF]
, 2016 Introduced by Darwiche (2011), sentential decision diagrams (SDDs) are essentially as tractable as ordered binary decision diagrams (OBDDs), but tend to be more succinct in practice.
Bova, Simone
core +3 more sources
Binary Decision Diagrams [PDF]
, 2008 Decision diagrams are a natural representation of finite functions. The obvious complexity measures are length and size which correspond to time and space of computations.
Ingo Wegener +3 more
core
An Explainable Artificial Intelligence Software Tool for Weight Management Experts (PRIMO): Mixed Methods Study. [PDF]
J Med Internet Res, 2023 Fernandes GJ +6 more
europepmc +1 more source
⊕-OBDDs -- a BDD Structure for Probabilistic Verification [PDF]
, 1998 Ordered Binary Decision Diagrams (OBDDs) have already proved usefull in the verification of combinational and sequential circuits. Due to limitaions of the descriptive power of OBDDs several more general models of Binary Decision Diagrams have been ...
Harald Sack, Christoph Meinel
core