DenseZDD

MaRDI QIDQ44686swMATHFDO

Official website https://link.springer.com/chapter/10.1007/978-3-319-07959-2_16

Described by source

• DenseZDD: a compact and fast index for families of sets

Cited in

(2)

• SAPPORO BDD
• Graphillion

This page was built for software: DenseZDD