Buchumschlag

SAT + NAUTY: Orderly Generation of Small Kochen-Specker Sets Containing the Smallest State-independent Contextuality Set

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Li, Zhengyu, Bright, Curtis, Trandafir, Stefan, Cabello, Adán, Ganesh, Vijay
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic in Computer Science Combinatorics Quantum Physics
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem
von: Li, Zhengyu, et al.
Veröffentlicht: (2023)

Two fundamental solutions to the rigid Kochen-Specker set problem and the solution to the minimal Kochen-Specker set problem under one assumption
von: Trandafir, Stefan, et al.
Veröffentlicht: (2025)

Optimal conversion of Kochen-Specker sets into bipartite perfect quantum strategies
von: Trandafir, Stefan, et al.
Veröffentlicht: (2024)

Verified Certificates via SAT and Computer Algebra Systems for the Ramsey $R(3, 8)$ and $R(3, 9)$ Problems
von: Li, Zhengyu, et al.
Veröffentlicht: (2025)

Reply to Pavičić's 'Comment on "Optimal conversion of Kochen-Specker sets into bipartite perfect quantum strategies"' (arXiv:2502.13787)
von: Trandafir, Stefan, et al.
Veröffentlicht: (2025)

The simplest Kochen-Specker set
von: Cabello, Adán
Veröffentlicht: (2025)

Queen Domination by SAT Solving
von: Rostami, Taha, et al.
Veröffentlicht: (2025)

Kochen--Specker Contextuality and the Tetralemmatic Calculus of Quantum Mechanics
von: Borom, Santos
Veröffentlicht: (2026)

Complexity of Satisfiability in Kochen-Specker Partial Boolean Algebras
von: Dawar, Anuj, et al.
Veröffentlicht: (2026)

Symbolic Sets for Proving Bounds on Rado Numbers
von: Ahmed, Tanbir, et al.
Veröffentlicht: (2025)

Triacontagonal proofs of the Bell-Kochen-Specker theorem
von: Aravind, P. K., et al.
Veröffentlicht: (2025)

AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems
von: Jha, Piyush, et al.
Veröffentlicht: (2024)

On Simplest Kochen-Specker Sets
von: Pavicic, Mladen
Veröffentlicht: (2025)

Maximal Non-Kochen-Specker Sets and a Lower Bound on the Size of Kochen-Specker Sets
von: Williams, Tom, et al.
Veröffentlicht: (2024)

North-East Lattice Paths Avoiding $k$ Collinear Points via Satisfiability
von: Barnoff, Aaron, et al.
Veröffentlicht: (2025)

Non-Kochen-Specker Contextuality
von: Pavicic, Mladen
Veröffentlicht: (2023)

Kochen-Specker sets in four-dimensional spaces
von: Elford, Brandon, et al.
Veröffentlicht: (2019)

Partitioning Theorems for Sets of Semi-Pfaffian Sets, with Applications
von: Lotz, Martin, et al.
Veröffentlicht: (2024)

Construction of Kochen-Specker Sets from Mutually Unbiased Bases
von: Navara, Mirko, et al.
Veröffentlicht: (2025)

Agnostic Online Learning and Excellent Sets
von: Malliaris, Maryanthe, et al.
Veröffentlicht: (2021)

The Algebraic Landscape of Kochen-Specker Sets in Dimension Three
von: Kernaghan, Michael
Veröffentlicht: (2026)

Global Kochen-Specker Contextuality Without Local Contextuality and Generalized Bell Nonlocality
von: Yang, Ming
Veröffentlicht: (2026)

SAT and Lattice Reduction for Integer Factorization
von: Ajani, Yameen, et al.
Veröffentlicht: (2024)

Borel Order Dimension
von: Raghavan, Dilip, et al.
Veröffentlicht: (2024)

Courcelle's Theorem: A Self-Contained Proof and a Path-Width Variant
von: Rettich, Adrian
Veröffentlicht: (2024)

Monadic Second-Order Logic of Permutations
von: Jelínek, Vít, et al.
Veröffentlicht: (2025)

SAT-Based Techniques for Lexicographically Smallest Finite Models
von: Janota, Mikoláš, et al.
Veröffentlicht: (2025)

Memory cost of quantum contextuality with Pauli observables
von: Trandafir, Stefan, et al.
Veröffentlicht: (2025)

Improving SAT Solvers on Orthogonal Latin Square Problems
von: Barnoff, Aaron, et al.
Veröffentlicht: (2026)

Happy Ending: An Empty Hexagon in Every Set of 30 Points
von: Heule, Marijn J. H., et al.
Veröffentlicht: (2024)

SHA-256 Collision Attack with Programmatic SAT
von: Alamgir, Nahiyan, et al.
Veröffentlicht: (2024)

On Ordinal Invariants in Well Quasi Orders and Finite Antichain Orders
von: Džamonja, Mirna, et al.
Veröffentlicht: (2017)

An order-theoretic circuit syntax and characterisation of the concept lattice
von: van der Lugt, Tein
Veröffentlicht: (2025)

Maximal independent sets, variants of chain/antichain principle and cofinal subsets without AC
von: Banerjee, Amitayu
Veröffentlicht: (2020)

Orthogonal Latin Squares of Order Ten with Two Relations: A SAT Investigation
von: Bright, Curtis, et al.
Veröffentlicht: (2025)

Convergence Laws for Extensions of First-Order Logic with Averaging
von: Adam-Day, Sam, et al.
Veröffentlicht: (2025)

Perfect quantum strategies with small input cardinality
von: Trandafir, Stefan, et al.
Veröffentlicht: (2024)

An algebraic characterisation of Kochen-Specker contextuality
von: Frembs, Markus
Veröffentlicht: (2024)

Kochen-Specker for many qubits and the classical limit
von: Hnilo, Alejandro
Veröffentlicht: (2024)

Generic sampling and invariant measures on the space of $k$-uniform hypergraphs
von: Ackerman, Nathanael, et al.
Veröffentlicht: (2025)