Generating Synthetic MVL Benchmarks from Random MDDs Under Restrictions.

Milos Radmanovic Radomir S. Stankovic

Published in: ISMVL (2018)

Keyphrases

knowledge compilation
multi valued
decision diagrams
logic synthesis
databases
normal form
machine learning
data structure
knowledge representation