Curtis Bright

Identifiers

• name variant Curtis Bright 0.60 · backfill

Papers (7)

1. Improving SAT Solvers on Orthogonal Latin Square Problems cs.DM · 2026 · author #2
2. SAT + NAUTY: Orderly Generation of Small Kochen-Specker Sets Containing the Smallest State-independent Contextuality Set cs.LO · 2026 · author #2
3. North-East Lattice Paths Avoiding $k$ Collinear Points via Satisfiability math.CO · 2025 · author #2
4. A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples cs.LO · 2018 · author #1
5. Enumeration of Complex Golay Pairs via Programmatic SAT cs.LO · 2018 · author #1
6. A doubling construction for Williamson matrices math.CO · 2018 · author #1
7. A New Form of Williamson's Product Theorem math.CO · 2017 · author #1

Mentions

• 2511.23226 #2 · arxiv_oai · confidence 0.70 Curtis Bright

Frequent Coauthors

• Vijay Ganesh 3 shared papers
• Aaron Barnoff 2 shared papers
• Ilias Kotsireas 2 shared papers
• Ad\'an Cabello 1 shared papers
• Albert Heinle 1 shared papers
• Dragomir Z. Djokovic 1 shared papers
• Stefan Trandafir 1 shared papers
• Zhengyu Li 1 shared papers