arXiv:1004.1696 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords quantum satisfiability, computational complexity, real bss complexity theory, strong satisfiability problem, noncommutative integer polynomial equations Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset