activity
20172026
most citedApplying Computer Algebra Systems with SAT Solvers to the Williamson Conjecture

27 citations · 79 across the 20 of their papers we have counts for

collaborators
Showing 2026 · cs.LOShow all

1 paper · 2 filters

cs.LO2026

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

Zhengyu Li, Curtis Bright, Stefan Trandafir +2

We present a search for small Kochen-Specker (KS) sets in dimension 3, specifically targeting extensions of the 13-ray Yu-Oh set, which has been proven to be the minimal witness to…