scientific article; zbMATH DE number 1555978

MaRDI QIDQ4525751zbMATH OpenFDO

Authors Seiichiro Tani, Hideki Imai

Publication date 24 January 2001

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• Binary decision diagrams
• scientific article; zbMATH DE number 1222600
• Binary decision diagrams
• scientific article; zbMATH DE number 1156875
• scientific article; zbMATH DE number 1775052

Cited in

(6)

• OBDDs of a monotone function and of its prime implicants
• Reordering method and hierarchies for quantum and classical ordered binary decision diagrams
• Output-size sensitiveness of OBDD construction through maximal independent set problem
• Combinatorial and geometric approaches to counting problems on linear matroids, graphic arrangements, and partial orders
• A Knuth-Bendix-like ordering for orienting combinator equations
• Properties of Switch-List Representations of Boolean Functions

This page was built for publication:

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