scientific article; zbMATH DE number 1220670

zbMath0907.68116MaRDI QIDQ4219538

Christoph Meinel, Thorsten Theobald

Publication date: 10 November 1998

Full work available at URL: http://eccc.hpi-web.de/eccc-local/ECCC-Books/Meinel-Theobald-book/obddbook.html

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Boolean functionsordered binary decision diagramslogic designCAD for VLSI design

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Database theory (68P15) Parallel algorithms in computer science (68W10) Hardware implementations of nonnumerical algorithms (VLSI algorithms, etc.) (68W35) Data structures (68P05) Computer system organization (68M99)

Related Items (13)

Ordered binary decision diagrams and the Shannon effect ⋮ MC/DC test cases generation based on BDDs ⋮ State-set branching: leveraging BDDs for heuristic search ⋮ On the Complexity of Probabilistic Abstract Argumentation Frameworks ⋮ Properties of Switch-List Representations of Boolean Functions ⋮ Consistency checking and querying in probabilistic databases under integrity constraints ⋮ Symbolic graphs: Linear solutions to connectivity related problems ⋮ Decision-making coordination and efficient reasoning techniques for feature-based configuration ⋮ An Operator for Removal of Subsumed Clauses ⋮ Improving OBDD attacks against stream ciphers ⋮ On threshold BDDs and the optimal variable ordering problem ⋮ Partially Symmetric Functions Are Efficiently Isomorphism Testable ⋮ Synthetic tableaux: Minimal tableau search heuristics

This page was built for publication: