SAPPORO BDD

swMATH21165MaRDI QIDQ32977FDOQ32977

Author name not available (Why is that?)

Official website: https://osdn.net/projects/nysol/scm/git/mining/tree/master/zdd/lib/SAPPOROBDD/

Cited In (4)

• DenseZDD: a compact and fast index for families of sets
• Sequence binary decision diagram: minimization, relationship to acyclic automata, and complexities of Boolean set operations
• DenseZDD
• Graphillion

This page was built for software: SAPPORO BDD