scientific article; zbMATH DE number 1150567
From MaRDI portal
Publication:4388806
zbMath0899.68040MaRDI QIDQ4388806
Christoph Meinel, Thorsten Theobald
Publication date: 10 May 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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
XML compression via directed acyclic graphs ⋮ Bounded model checking of infinite state systems ⋮ Better upper bounds on the QOBDD size of integer multiplication ⋮ A rewriting approach to binary decision diagrams ⋮ On a class of decision diagrams ⋮ Decomposition of systems of Boolean functions determined by binary decision diagrams ⋮ Processing succinct matrices and vectors ⋮ Decomposition representations of logical equations in problems of inversion of discrete functions ⋮ Decomposition of a system of incompletely specified Boolean functions defined with a binary decision diagram ⋮ Unnamed Item ⋮ Experimental study of algorithms for minimization of binary decision diagrams using algebraic representations of cofactors ⋮ Resolution and binary decision diagrams cannot simulate each other polynomially ⋮ Minimizing binary decision diagrams for systems of incompletely defined Boolean functions using algebraic cofactor expansions ⋮ ON OBDD-BASED ALGORITHMS AND PROOF SYSTEMS THAT DYNAMICALLY CHANGE THE ORDER OF VARIABLES ⋮ Compact representations of all members of an independence system ⋮ Extended resolution simulates binary decision diagrams ⋮ Minimization of binary decision diagrams for systems of incompletely defined Boolean functions ⋮ On the computation of the Möbius transform ⋮ A symbolic shortest path algorithm for computing subgame-perfect Nash equilibria ⋮ Connecting knowledge compilation classes and width parameters ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Tree compression with top trees
This page was built for publication: