quant-ph cs.CR cs.NI C.2.2
Technical Report: Toward Applying Quantum Computing to Network Verification
Kahlil Dozier Justin Beltran Kylie Berg Hugo Matousek Loqman Salamatian Ethan Katz-Bassett Dan Rubenstein