Optimal Layout Synthesis for Quantum Circuits as Classical Planning | IEEE Conference Publication | IEEE Xplore