Toward Applying Quantum Computing to Network Verification. - Kahlil Dozier; Justin Beltran; Kylie Berg; Hugo Matousek; Loqman Salamatian; Ethan Katz-Bassett; Dan Rubenstein (HotNets, 2024)

Technical Report: Toward Applying Quantum Computing to Network Verification. - Kahlil Dozier; Justin Beltran; Kylie Berg; Hugo Matousek; Loqman Salamatian; Ethan Katz-Bassett; Dan Rubenstein (CoRR, 2024)