Proving Quantum Programs Correct.

Kesha Hietala Robert Rand Shih-Han Hung Liyi Li Michael Hicks

Published in: ITP (2021)

Keyphrases

automatic programming
quantum computation
quantum computing
machine learning
information systems
real world
computer vision
similarity measure
answer sets
quantum mechanics
logic circuits