11 citations · 21 across the 4 of their papers we have counts for
1 paper · 2 filters
John Watrous
In this paper we consider a quantum computational variant of nondeterminism based on the notion of a quantum proof, which is a quantum state that plays a role similar to a certific…