On the sizes of BDDs and ZDDs representing matroids.

Hiromi Emoto Yuni Iwamasa Shin-ichi Minato

Published in: CoRR (2024)

Keyphrases

data mining
real world
machine learning
information retrieval
metadata
image processing
evolutionary algorithm
special case
heuristic search
small size
knowledge compilation
timed automata
set bounds propagation