Results 11 to 20 of about 3,939,918 (112)
Approximate BDD Minimization by Weighted A* [PDF]
, 2008 Reduced ordered Binary Decision Diagrams (BDDs) are a data structure for efficient representation and manipulation of Boolean functions. They are frequently used in logic synthesis. The size of BDDs depends on a chosen variable ordering, i.e.
Rudiger Ebendt +3 more
core +2 more sources
Efficient Set Sharing Using ZBDDs [PDF]
, 2008 Set sharing is an abstract domain in which each concrete object is represented by the set of local variables from which it might be reachable. It is a useful abstraction to detect parallelism opportunities, since it contains definite information about ...
Mario Méndez-Lojo +5 more
core +1 more source
Study of gold-based alloy phase diagrams [PDF]
, 1990 This thesis was submitted for the degree of Doctor of Philosophy and awarded by Brunel University.The partial constitutions of the Au-Ge-X and Au-Pb-X ternary alloys have been investigated, where X is a metallic element, selected from the sub-groups ...
Butt, M Taqi Zahid
core +7 more sources
Size of ordered binary decision diagrams representing threshold functions [PDF]
, 1997 An ordered binary decision diagram (OBDD) is a graph representation of a Boolean function. In this paper, the size of ordered binary decision diagrams representing threshold functions is discussed. We consider two cases: the case when a variable ordering
Kaneda, T. +3 more
core +1 more source
Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams
, 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 binary decision diagrams (OBDDs) as a datastructure for storing and operating
Krotzsch, Markus +2 more
core +4 more sources
Learning Ordered Binary Decision Diagrams
, 1995 This note studies the learnability of ordered binary decision diagrams (obdds). We give a polynomial-time algorithm using membership and equivalence queries that finds the minimum obdd for the target respecting a given ordering.
David Guijarro +2 more
core +2 more sources
Query Learning Algorithm for Ordered Multi-Terminal Binary Decision Diagrams
, 2023 We propose a query learning algorithm for ordered multi-terminal binary decision diagrams (OMTBDDs) using at most n equivalence and 2n(l\lcei\log_2 m\rceil+ 3n) membership queries by extending the algorithm for ordered binary decision diagrams (OBDDs ...
Nakamura, Atsuyoshi
core
Optimal Ordered Binary Decision Diagrams for Read-Once Formulas [PDF]
, 1999 In many applications like verification or combinatorial optimization, OBDDs (ordered binary decision diagrams) are used as a representation or data structure for Boolean functions.
Ingo Wegener +5 more
core +1 more source
Comparing BDD and SAT based techniques for model checking Chaum's Dining Cryptographers Protocol [PDF]
, 2006 We analyse different versions of the Dining Cryptographers protocol by means of automatic verification via model checking. Specifically we model the protocol in terms of a network of communicating automata and verify that the protocol meets the anonymity
Raimondi, F. +5 more
core
Symbolic Magnifying Lens Abstraction in Markov Decision Processes [PDF]
, 2008 In this paper, we combine abstraction-refinement and symbolic techniques to fight the state-space explosion problem when model checking Markov decision processes (MDPs).
Luca de Alfaro +7 more
core +1 more source