Curtis Bright
8 papers · 2019–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
🌍 Conference Polyglot (2) 🧭 Keyword Pioneer 🏃 Academic Marathon (6) 🌉 Interdisciplinary Bridge 🐝 Cross-Pollinator (14)
🧬
Topic Evolution
🏆
Keyword Champion
(5)
🚀
Conference Pioneer
Conferences
AAAI (5)
IJCAI (3)
Top co-authors
Keywords
combinatorial optimization
(6)
computer algebra
(5)
satisfiability solving
(5)
combinatorial search
(3)
boolean satisfiability
(2)
proof certificate
(2)
symmetry breaking
(2)
ramsey theory
(2)
constraint programming
(1)
combinatorial problem
(1)
quantum foundation
(1)
proof verification
(1)
boolean logic
(1)
orderly generation
(1)
certificate verification
(1)
mutually orthogonal latin square
(1)
matrix enumeration
(1)
computer algebra system
(1)
nonexistence certificate
(1)
kochen-specker problem
(1)
Papers
Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3,8) and R(3,9) Problems
IJCAI 2025
A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract)
AAAI 2024
A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract)
AAAI 2024
A SAT Solver + Computer Algebra Attack on the Minimum Kochen–Specker Problem
IJCAI 2024
Integer and Constraint Programming Revisited for Mutually Orthogonal Latin Squares (Student Abstract)
AAAI 2022
A SAT-based Resolution of Lam's Problem
AAAI 2021
Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem
IJCAI 2020
A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples
AAAI 2019