Parity OBDDs cannot be handled efficiently enough

DOI10.1016/S0020-0190(98)00113-6MaRDI QIDQ293348zbMATHOpenAlexFDO

Authors Detlef Sieling, Ingo Wegener, Martin Löbbing

Publication date 9 June 2016

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL http://www.sciencedirect.com/science/article/pii/S0020019098001136?np=y

zbMATH Keywords

data structurestheory of computationparity OBDDsreduction algorithm

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Data structures (68P05)

Recommendations

• On the descriptive and algorithmic power of parity ordered binary decision diagrams
• scientific article; zbMATH DE number 1759434
• On the descriptive and algorithmic power of parity ordered binary decision diagrams
• Minimization problems for parity OBDDs
• scientific article; zbMATH DE number 1324659

Cites work

• scientific article; zbMATH DE number 43279 (Why is no real title available?)
• scientific article; zbMATH DE number 1142301 (Why is no real title available?)
• scientific article; zbMATH DE number 910732 (Why is no real title available?)
• Efficient Boolean manipulation with OBDD's can be extended to FBDD's
• Gaussian elimination is not optimal
• Graph driven BDDs -- a new data structure for Boolean functions
• Graph-Based Algorithms for Boolean Function Manipulation
• On the Asymptotic Complexity of Matrix Multiplication
• On the descriptive and algorithmic power of parity ordered binary decision diagrams
• Reduction of OBDDs in linear time

Cited in

(3)

• On random orderings of variables for parity ordered binary decision diagrams
• On the descriptive and algorithmic power of parity ordered binary decision diagrams
• scientific article; zbMATH DE number 1759434 (Why is no real title available?)

This page was built for publication: Parity OBDDs cannot be handled efficiently enough

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q293348)