Curtis Bright
8 papers · 2019–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Silver 🧬 Topic Evolution 🏆 Keyword Champion (5)
🚀
Conference Pioneer
Top co-authors
Research topics
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 + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract)
AAAI 2024
A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (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