A Symbolic Approach to Discrete Structural Optimization Using Quantum Annealing