# Curtis Bright

According to our database

Collaborative distances:

^{1}, Curtis Bright authored at least 18 papers between 2011 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2020

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

CoRR, 2020

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

CoRR, 2020

2019

A Nonexistence Certificate for Projective Planes of Order Ten with Weight 15 Codewords.

CoRR, 2019

Complex Golay Pairs up to Length 28: A Search via Computer Algebra and Programmatic SAT.

CoRR, 2019

SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics.

CoRR, 2019

Effective problem solving using SAT solvers.

CoRR, 2019

New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences.

CoRR, 2019

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

Ann. Math. Artif. Intell., 2019

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

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

2018

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

CoRR, 2018

The SAT+CAS paradigm and the Williamson conjecture.

ACM Comm. Computer Algebra, 2018

Enumeration of Complex Golay Pairs via Programmatic SAT.

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.

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

2017

Computational Methods for Combinatorial and Number Theoretic Problems.

PhD thesis, 2017

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

J. Autom. Reasoning, 2017

2016

Minimal Elements for the Prime Numbers.

Experimental Mathematics, 2016

MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures.

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.

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