Curtis Bright
8 papers
· 2019–2025
· 2 conferences
· across top CS/AI conferences
Achievements
π
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)