TY - RPRT TI - Optimizing Multiple-Control Toffoli Quantum Circuit Design with Constraint Programming AU - Jihye Jung AU - Kevin Dalmeijer AU - Pascal Van Hentenryck PY - 2025 DO - 10.4230/lipics.cp.2024.16 UR - https://arxiv.org/abs/2404.14384 ID - 2404.14384 ER -