Enumerating all subgraphs under given constraints using zero-suppressed sentential decision diagrams

From MaRDI portal
Publication:6487604