On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication

From MaRDI portal
Revision as of 18:10, 4 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3417010

DOI10.1109/12.73590zbMath1220.68060OpenAlexW2108016168MaRDI QIDQ3417010

Randal E. Bryant

Publication date: 9 January 2007

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/12.73590




Related Items (68)

Ordered binary decision diagrams and the Shannon effectBounded model checking of infinite state systemsBetter upper bounds on the QOBDD size of integer multiplicationOn the computational power of linearly transformed BDDsOn the Complexity of the Hidden Weighted Bit Function for Various BDD ModelsCharacterizing the Complexity of Boolean Functions represented by Well-Structured Graph-Driven Parity-FBDDsEfficient data structures for Boolean functionsPolynomial-size binary decision diagrams for the exactly half-\(d\)-hyperclique problem reading each input bit twiceBinary Decision DiagramsOn the second-order nonlinearity of the hidden weighted bit functionApproximating Boolean functions by OBDDsKnowledge compilation meets database theory: compiling queries to decision diagramsOrdered Binary Decision Diagrams and the Davis-Putnam procedureSize of ordered binary decision diagrams representing threshold functionsCryptographic properties of the hidden weighted bit functionOn the OBDD Complexity of the Most Significant Bit of Integer MultiplicationThe size of reduced OBDDs and optimal read-once branching programs for almost all Boolean functionsA View from the Engine Room: Computational Support for Symbolic Model CheckingInferring Congruence Equations Using SATRandomized OBDDs for the most significant bit of multiplication need exponential spaceNew results on the most significant bit of integer multiplicationOn the OBDD complexity of the most significant bit of integer multiplicationResolution and binary decision diagrams cannot simulate each other polynomiallyOn symbolic OBDD-based algorithms for the minimum spanning tree problemShared Ordered Binary Decision Diagrams for Dempster-Shafer TheoryPriority functions for the approximation of the metric TSPA lower bound for integer multiplication on randomized ordered read-once branching programs.BDDs -- design, analysis, complexity, and applications.On efficient implicit OBDD-based algorithms for maximal matchingsConcatenations of the hidden weighted bit function and their cryptographic propertiesFirst-order temporal logic monitoring with BDDsBounded semanticsStrong planning under partial observabilityGraph driven BDDs -- a new data structure for Boolean functionsOKFDDs versus OBDDs and OFDDsSymbolic model checking: \(10^{20}\) states and beyondProbabilistic verification of Boolean functionsOn the computational power of binary decision diagram with redundant variables.Asymptotically optimal bounds for OBDDs and the solution of some basic OBDD problemsRestricted Nondeterministic Read-Once Branching Programs and an Exponential Lower Bound for Integer MultiplicationNew lower bounds and hierarchy results for restricted branching programsLarger lower bounds on the OBDD complexity of integer multiplicationA note on the size of OBDDs for the graph of integer multiplicationSize of OBDD representation of 2-level redundancies functionsLower Bounds for Syntactically Multilinear Algebraic Branching ProgramsLower bounds for restricted read-once parity branching programsEmbedded software verification using symbolic execution and uninterpreted functionsParity graph-driven read-once branching programs and an exponential lower bound for integer multiplicationOn the descriptive and algorithmic power of parity ordered binary decision diagramsOn the relation between structured \(d\)-DNNFs and SDDsLarger Lower Bounds on the OBDD Complexity of Integer MultiplicationRandomized OBDDs for the Most Significant Bit of Multiplication Need Exponential SizeSolving Quantified Bit-Vector Formulas Using Binary Decision DiagramsOn the relative succinctness of sentential decision diagramsTransparency order for Boolean functions: analysis and constructionOn limitations of structured (deterministic) DNNFsConnecting knowledge compilation classes and width parametersOn the relation between BDDs and FDDsSymbolic Reachability for Process Algebras with Recursive Data TypesEVOLVING INDUCTIVE GENERALIZATION VIA GENETIC SELF-ASSEMBLYBounds on the OBDD-size of integer multiplication via universal hashingOn the descriptive and algorithmic power of parity ordered binary decision diagramsThe nonapproximability of OBDD minimizationA construction of Boolean functions with good cryptographic propertiesOrdered binary decision diagrams as knowledge-basesLinear codes are hard for oblivious read-once parity branching programsLower bounds for linearly transformed OBDDs and FBDDsConformant planning via symbolic model checking and heuristic search







This page was built for publication: On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication