Curtis Bright

activity

20242026

collaborators

Showing cs.LOShow all

2 papers · 1 filter

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…

cs.LO2025

Verified Certificates via SAT and Computer Algebra Systems for the Ramsey $R (3, 8)$ and $R (3, 9)$ Problems

Zhengyu Li, Conor Duggan, Curtis Bright +1

The Ramsey problem $R (3, k)$ seeks to determine the smallest value of $n$ such that any red/blue edge coloring of the complete graph on $n$ vertices must either contain a blue tria…

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

Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3,8) and R(3,9) Problems

Verified Certificates via SAT and Computer Algebra Systems for the Ramsey $R (3, 8)$ and $R (3, 9)$ Problems