scientific article; zbMATH DE number 1555978
From MaRDI portal
Publication:4525751
Recommendations
Cited in
(8)- A Knuth-Bendix-like ordering for orienting combinator equations
- Reordering method and hierarchies for quantum and classical ordered binary decision diagrams
- scientific article; zbMATH DE number 1222600 (Why is no real title available?)
- Properties of Switch-List Representations of Boolean Functions
- 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
- OBDDs of a monotone function and of its prime implicants
- Quantum algorithm for finding the optimal variable ordering for binary decision diagrams
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)
