A symbolic approach to discrete structural optimization using quantum annealing. - Kevin Wils; Boyang Chen (CoRR, 2023)