Quantum computing for several AGV scheduling models | Synapse