References

Bry86

RE Bryant. Graph-based algorithms for boolean function manipulation. Computers, IEEE Transactions on, 100(8):677–691, 1986.

MRDeMicheli20

Fereshte Mozafari, Heinz Riener, and Giovanni De Micheli. Dependency analysis for preparing uniform quantum states. In Under Review. 2020.

MSRDeMicheli20

Fereshte Mozafari, Mathias Soeken, Heinz Riener, and Giovanni De Micheli. Automatic uniform quantum state preparation using decision diagrams. In 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL), Miyazaki, Japan, Nov 9-11, 2020, To Appear. 2020.

REdOSDeMicheli20

Heinz Riener, Rüdiger Ehlers, Bruno de O. Schmitt, and Giovanni De Micheli. Exact Synthesis of ESOP Forms, pages 177–194. Springer, Cham, 2020. doi:10.1007/978-3-030-20323-8_8.