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.