PPaperPicks

Curtis Bright

5 papers at tracked venues · 2 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2IJCAI ×2MSR ×1

Frequent coauthors

Zhengyu Li
×4
Vijay Ganesh
×4
Conor Duggan
×2
Sadman Jashim Sakib
×1
Muhammad Asaduzzaman
×1
Cole Morgan
×1

Papers

  1. Understanding the Popularity of Packages in Maven Ecosystem
    MSR 2025 ·
    Sadman Jashim Sakib
    ,
    Muhammad Asaduzzaman
    , Curtis Bright,
    Cole Morgan
  2. Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3, 8) and R(3, 9) Problems
    IJCAI 2025 ·
    Zhengyu Li
    ,
    Conor Duggan
    , Curtis Bright,
    Vijay Ganesh
  3. A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract)
    AAAI 2024 ·
    Conor Duggan
    ,
    Zhengyu Li
    , Curtis Bright,
    Vijay Ganesh
  4. A SAT Solver + Computer Algebra Attack on the Minimum Kochen-Specker Problem
    IJCAI 2024 ·
    Zhengyu Li
    , Curtis Bright,
    Vijay Ganesh
  5. A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract)
    AAAI 2024 ·
    Zhengyu Li
    , Curtis Bright,
    Vijay Ganesh