scientific article; zbMATH DE number 1555978

zbMATH Open0953.68586MaRDI QIDQ4525751FDOQ4525751

Authors: Seiichiro Tani, Hideki Imai 

Publication date: 24 January 2001

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

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
• Properties of Switch-List Representations of Boolean Functions
• A Knuth-Bendix-like ordering for orienting combinator equations

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)