• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 4,066
Next 10 →

Symbolic Boolean manipulation with ordered binary-decision diagrams

by Randal E Bryant - ACM COMPUTING SURVEYS , 1992
"... Ordered Binary-Decision Diagrams (OBDDS) represent Boolean functions as directed acyclic graphs. They form a canonical representation, making testing of functional properties such as satmfiability and equivalence straightforward. A number of operations on Boolean functions can be implemented as grap ..."
Abstract - Cited by 1036 (13 self) - Add to MetaCart
Ordered Binary-Decision Diagrams (OBDDS) represent Boolean functions as directed acyclic graphs. They form a canonical representation, making testing of functional properties such as satmfiability and equivalence straightforward. A number of operations on Boolean functions can be implemented

Partial Binary Decision Diagrams

by unknown authors
"... Abstract--Decision diagrams provide compact representations for discrete functions. There are some functions for which binary decision diagrams reach exponential size. Presented here is a method of representing Boolean functions as multiple partial decision diagrams. Index Terms-- binary decision di ..."
Abstract - Add to MetaCart
Abstract--Decision diagrams provide compact representations for discrete functions. There are some functions for which binary decision diagrams reach exponential size. Presented here is a method of representing Boolean functions as multiple partial decision diagrams. Index Terms-- binary decision

Binary Decision Graphs

by Laurent Mauborgne - Static Analyis Symposium SAS’99, LNCS 1694 , 1999
"... Binary Decision Graphs are an extension of Binary Decision Diagrams that can represent some infinite boolean functions. Three refinements of BDGs corresponding to classes of infinite functions of increasing complexity are presented. The first one is closed by intersection and union, the second o ..."
Abstract - Cited by 5 (3 self) - Add to MetaCart
Binary Decision Graphs are an extension of Binary Decision Diagrams that can represent some infinite boolean functions. Three refinements of BDGs corresponding to classes of infinite functions of increasing complexity are presented. The first one is closed by intersection and union, the second

Compressing Binary Decision Diagrams

by Esben Rune Hansen, S. Srinivasa Rao, Peter Tiedemann
"... Abstract. The paper introduces a new technique for compressing Binary Decision Diagrams in those cases where random access is not required. Using this technique, compression and decompression can be done in linear time in the size of the BDD and compression will in many cases reduce the size of the ..."
Abstract - Add to MetaCart
Abstract. The paper introduces a new technique for compressing Binary Decision Diagrams in those cases where random access is not required. Using this technique, compression and decompression can be done in linear time in the size of the BDD and compression will in many cases reduce the size

Equational Binary Decision Diagrams

by Jan Friso Groote, Jaco Van De Pol - LOGIC FOR PROGRAMMING AND REASONING, LPAR2000, VOLUME 1955 OF LECTURE NOTES IN ARTIFICIAL INTELLIGENCE , 2000
"... We incorporate equations in binary decision diagrams (BDD). The resulting objects are called EQ-BDDs. A straightforward notion of ordered EQ-BDDs (EQ-OBDD) is defined, and it is proved that each EQ-BDD is logically equivalent to an EQ-OBDD. Moreover, on EQ-OBDDs satisfiability and tautology checki ..."
Abstract - Cited by 9 (6 self) - Add to MetaCart
We incorporate equations in binary decision diagrams (BDD). The resulting objects are called EQ-BDDs. A straightforward notion of ordered EQ-BDDs (EQ-OBDD) is defined, and it is proved that each EQ-BDD is logically equivalent to an EQ-OBDD. Moreover, on EQ-OBDDs satisfiability and tautology

Binary Decision Diagrams and Beyond: Enabling Technologies for Formal Verification

by Randal E. Bryant , 2006
"... Ordered Binary Decision Diagrams (OBDDs) have found ..."
Abstract - Cited by 121 (0 self) - Add to MetaCart
Ordered Binary Decision Diagrams (OBDDs) have found

BDD Binary Decision Diagram

by Liudong Xing
"... Abstract—This paper proposes efficient methods to assess the reliability of phased-mission systems (PMS) considering both im-perfect fault coverage (IPC), and common-cause failures (CCF). The IPC introduces multimode failures that must be considered in the accurate reliability analysis of PMS. Anoth ..."
Abstract - Add to MetaCart
. Another difficulty in anal-ysis is to allow for multiple CCF that can affect different subsets of system components, and which can occur-dependently. Our methodology for resolving the above difficulties is to separate the consideration of both IPC and CCF from the combinatorics of the binary decision

Binary Decision Diagrams

by Beate Bollig, Martin Sauerhoff, Detlef Sieling, Ingo Wegener
"... 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. Decision diagrams are the right model for considering space lower bounds and time-space trade-offs. Due to the lack of powerfu ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
of powerful lower bound techniques, various types of restricted decision diagrams are investigated. They lead to new lower bound techniques and some of them allow efficient algorithms for a list of operations on boolean functions. Indeed, restricted decision diagrams like ordered binary decision diagrams

Binary Decision Trees

by K. M. Ho and P. D. Scott, K. M. Ho, P. D. Scott
"... . In this paper we consider the possibility of overcoming fragmentation during the construction of decision trees by dividing the values of discriminating nominal attributes into two groups and constructing only two subtrees, one for each group. We discuss some of the problems and limitations that m ..."
Abstract - Add to MetaCart
comparative study of the performance of the proposed binary partition procedure and C4.5 demonstrate that the former sometimes performs markedly better and never performs significantly worse. Keywords: Binary Decision Trees, Zeta, Fragmentation 1 Introduction During the last two decades decision tree

An introduction to Binary Decision Diagrams

by Henrik Reif Andersen - Lecture Notes, http://www.cs.auc.dk/~kgl/VERIFICATION99/mm4.html , 1997
"... x ..."
Abstract - Cited by 46 (2 self) - Add to MetaCart
Abstract not found
Next 10 →
Results 1 - 10 of 4,066
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University