Sign in
An Automated Deductive Verification Framework for Circuit-building Quantum Programs.
Christophe Chareton
Sébastien Bardin
François Bobot
Valentin Perrelle
Benoît Valiron
Published in:
ESOP (2021)
Keyphrases
</>
main contribution
conceptual framework
data sets
machine learning
genetic algorithm
control system
theoretical framework
neural network
data mining
information systems
clustering algorithm
semi automated