Bright, Curtis

9 publications

IJCAI 2025 Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3, 8) and R(3, 9) Problems Zhengyu Li, Conor Duggan, Curtis Bright, Vijay Ganesh

AAAI 2024 A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract) Conor Duggan, Zhengyu Li, Curtis Bright, Vijay Ganesh

IJCAI 2024 A SAT Solver + Computer Algebra Attack on the Minimum Kochen-Specker Problem Zhengyu Li, Curtis Bright, Vijay Ganesh

AAAI 2024 A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract) Zhengyu Li, Curtis Bright, Vijay Ganesh

AAAI 2022 Integer and Constraint Programming Revisited for Mutually Orthogonal Latin Squares (Student Abstract) Noah Rubin, Curtis Bright, Brett Stevens, Kevin K. H. Cheung

AAAI 2021 A SAT-Based Resolution of Lam's Problem Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh

IJCAI 2020 Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh

AAAI 2019 A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples Curtis Bright, Dragomir Z. Ðokovic, Ilias S. Kotsireas, Vijay Ganesh

AAAI 2018 A SAT+CAS Method for Enumerating Williamson Matrices of Even Order Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh