SAPPORO BDD

MaRDI QIDQ32977swMATHFDO

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