@misc{indiciae80d8b668558c,
  title = {Technical Report: Toward Applying Quantum Computing to Network Verification},
  author = {Kahlil Dozier and Justin Beltran and Kylie Berg and Hugo Matousek and Loqman Salamatian and Ethan Katz-Bassett and Dan Rubenstein},
  year = {2024},
  doi = {10.1145/3696348.3696891},
  url = {https://arxiv.org/abs/2410.17184},
  note = {Source identifier: 2410.17184}
}