(Un)decidable Problems about Reachability of Quantum Systems.

Yangjia Li Mingsheng Ying

Published in: CONCUR (2014)

Keyphrases

problems involving
optimization problems
computer systems
technical issues
distributed systems
satisfiability problem
management system
intelligent systems
linear systems
data exchange
complex systems
np complete
database
multi agent systems
database systems
computer vision
neural network