Automated Equivalence Checking of Concurrent Quantum Systems.

Ebrahim Ardeshir-Larijani Simon J. Gay Rajagopal Nagarajan

Published in: ACM Trans. Comput. Log. (2018)

Keyphrases

learning systems
complex systems
data sets
expert systems
intelligent systems
retrieval systems
genetic algorithm
computer vision
multiscale
data structure