Generalized satisfiability problems via operator assignments (Q5919560): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2944932268
@@ Property / OpenAlex ID: W2944932268 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.01736
@@ Property / arXiv ID: 1704.01736 / rank @@
+Normal rank
@@ Property / cites work @@
+A combinatorial approach to nonlocality and contextuality
+Normal rank
@@ Property / cites work @@
+On the Problem of Hidden Variables in Quantum Mechanics
+Normal rank
@@ Property / cites work @@
+Perfect commuting-operator strategies for linear system games
+Normal rank
@@ Property / cites work @@
+Characterization of Binary Constraint System Games
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
+Normal rank
@@ Property / cites work @@
+Q4888829
@@ Property / cites work: Q4888829 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3342799
@@ Property / cites work: Q3342799 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum logic is undecidable
@@ Property / cites work: Quantum logic is undecidable / rank @@
+Normal rank
@@ Property / cites work @@
+Closed systems of functions and predicates
@@ Property / cites work: Closed systems of functions and predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Q4595397
@@ Property / cites work: Q4595397 / rank @@
+Normal rank
@@ Property / cites work @@
+Simple unified form for the major no-hidden-variables theorems
+Normal rank
@@ Property / cites work @@
+Analysis of Boolean Functions
@@ Property / cites work: Analysis of Boolean Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for computer scientists
@@ Property / cites work: Logic for computer scientists / rank @@
+Normal rank
@@ Property / cites work @@
+Twisted strong Macdonald theorems and adjoint orbits
+Normal rank
@@ Property / Wikidata QID @@
+Q127838268
@@ Property / Wikidata QID: Q127838268 / rank @@
+Normal rank