MQT DDVis - An installation-free web-tool which visualizes quantum decision diagrams and allows to explore their behavior when used in design tasks such as simulation, synthesis, or verification.

Abstract: The Steiner Minimum Tree (SMT) serves as an optimal connection model for multi-terminal nets ... Finally, we leverage the stochastic nature of machine learning to construct diverse SMT ...

Add a description, image, and links to the binary-decision-diagram topic page so that developers can more easily learn about it.