Curtis Bright

According to our database, Curtis Bright authored at least 32 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems.

Piyush Jha, Zhengyu Li, Zhengyang Lu, Curtis Bright, Vijay Ganesh

CoRR, 2024

A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract).

Conor Duggan, Zhengyu Li, Curtis Bright, Vijay Ganesh

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract).

Zhengyu Li, Curtis Bright, Vijay Ganesh

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem.

Zhengyu Li, Curtis Bright, Vijay Ganesh

CoRR, 2023

A New Lower Bound in the abc Conjecture.

Curtis Bright

CoRR, 2023

A Hybrid SAT and Lattice Reduction Approach for Integer Factorization.

Yameen Ajani, Curtis Bright

Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation, 2023

2022

When satisfiability solving meets symbolic computation.

Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh

Commun. ACM, 2022

An SC-Square Approach to the Minimum Kochen-Specker Problem.

Zhengyu Li, Curtis Bright, Vijay Ganesh

Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, 2022

Enumerating Projective Planes of Order Nine with Proof Verification.

Daniel Dallaire, Curtis Bright

Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, 2022

Integer and Constraint Programming Revisited for Mutually Orthogonal Latin Squares (Student Abstract).

Noah Rubin, Curtis Bright, Brett Stevens, Kevin K. H. Cheung

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT.

Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh

J. Symb. Comput., 2021

Integer and Constraint Programming Revisited for Mutually Orthogonal Latin Squares.

Noah Rubin, Curtis Bright, Kevin K. H. Cheung, Brett Stevens

CoRR, 2021

Improving Integer and Constraint Programming for Graeco-Latin Squares.

Noah Rubin, Curtis Bright, Kevin K. H. Cheung, Brett Stevens

Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021

A SAT-based Resolution of Lam's Problem.

Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences.

Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh

IEEE Trans. Inf. Theory, 2020

Applying computer algebra systems with SAT solvers to the Williamson conjecture.

Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh

J. Symb. Comput., 2020

A nonexistence certificate for projective planes of order ten with weight 15 codewords.

Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Dominique Roy, Ilias S. Kotsireas, Vijay Ganesh

Appl. Algebra Eng. Commun. Comput., 2020

Nonexistence Certificates for Ovals in a Projective Plane of Order Ten.

Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh

Proceedings of the Combinatorial Algorithms - 31st International Workshop, 2020

Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem.

Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

2019

The SAT+CAS method for combinatorial search with applications to best matrices.

Curtis Bright, Dragomir Z. Dokovic, Ilias S. Kotsireas, Vijay Ganesh

Ann. Math. Artif. Intell., 2019

Effective Problem Solving Using SAT Solvers.

Curtis Bright, Jürgen Gerhard, Ilias S. Kotsireas, Vijay Ganesh

Proceedings of the Maple in Mathematics Education and Research - Third Maple Conference, 2019

SAT solvers and computer algebra systems: a powerful combination for mathematics.

Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh

Proceedings of the 29th Annual International Conference on Computer Science and Software Engineering, 2019

A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples.

Curtis Bright, Dragomir Z. Ðokovic, Ilias S. Kotsireas, Vijay Ganesh

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Applying Computer Algebra Systems and SAT Solvers to the Williamson Conjecture.

Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh

CoRR, 2018

The SAT+CAS paradigm and the Williamson conjecture.

Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh

ACM Commun. Comput. Algebra, 2018

Enumeration of Complex Golay Pairs via Programmatic SAT.

Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, 2018

A SAT+CAS Method for Enumerating Williamson Matrices of Even Order.

Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Computational Methods for Combinatorial and Number Theoretic Problems.

Curtis Bright

PhD thesis, 2017

Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures.

Edward Zulkoski, Curtis Bright, Albert Heinle, Ilias S. Kotsireas, Krzysztof Czarnecki, Vijay Ganesh

J. Autom. Reason., 2017

2016

Minimal Elements for the Prime Numbers.

Curtis Bright, Raymond R. Devillers, Jeffrey O. Shallit

Exp. Math., 2016

MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures.

Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki

Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), 2016

2011

Vector rational number reconstruction.

Curtis Bright, Arne Storjohann

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2011