Session Summary I: Quantum informatics: Classical circuit synthesis, resource optimisation and benchmarking | IEEE Conference Publication | IEEE Xplore