Quantum-dot cellular automata (QCA) circuit partitioning: problem modeling and solutions | IEEE Conference Publication | IEEE Xplore