Adiabatic Quantum Computing for Solving the Weapon Target Assignment Problem | Synapse