Generating Synthetic MVL Benchmarks from Random MDDs Under Restrictions | IEEE Conference Publication | IEEE Xplore