QFactor: A Domain-Specific Optimizer for Quantum Circuit Instantiation | IEEE Conference Publication | IEEE Xplore