On Searching for Small Kochen-Specker Vector Systems

First Author: Arends F
Attributed to:  Quantitative Verification: From Model Checking to Model Measuring funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-25870-1_4

Publication URI: http://dx.doi.org/10.1007/978-3-642-25870-1_4

Type: Book Chapter

Book Title: Graph-Theoretic Concepts in Computer Science (2011)

Page Reference: 23-34

ISBN: 978-3-642-25869-5