As a practical use, a while ago I "resolved" the Einstein's Riddle using this operator: http://ticsblog.com/2010/12/07/solving-einsteins-riddle-using-nondetermi

As a practical use, a while ago I "resolved" the Einstein's Riddle using this operator: http://ticsblog.com/2010/12/07/solving-einsteins-riddle-using-nondeterministic-computing http://ticsblog.com/2010/12/07/solving-einsteins-riddle-usin...