From Bell Inequalities to Tsirelson's Theorem.

David Avis Sonoko Moriyama Masaki Owari

Published in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2009)

Keyphrases

sufficient conditions
decision trees
linear inequalities
neural network
von neumann
mixed integer linear programs
genetic algorithm
artificial intelligence
cutting plane algorithm
digital topology
integer solution
interactive theorem proving