Pasqal and Thales successfully solve satellite planning challenges with Neutral-Atom Quantum computing