Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs.

Jianling Fu Hui Jiang Ming Xu Yuxin Deng Zhi-Bin Li

Published in: CoRR (2024)

Keyphrases

statistical analysis
problems involving
image analysis
neural network
data mining
optimization problems
combinatorial optimization
computer vision
search algorithm
data analysis
lower bound
search space
hidden markov models
dynamic programming
quantitative analysis
rewrite systems