| Publication | Date of Publication | Type |
|---|
Computing the base-\(b\) representation of quadratic irrationals using automata
Theoretical Computer Science | 2026-03-26 | Paper |
Myrvold's results on orthogonal triples of \(10 \times 10\) Latin squares: a SAT investigation
The Electronic Journal of Combinatorics | 2026-03-20 | Paper |
| Using finite automata to compute the base-\(b\) representation of the golden ratio and other quadratic irrationals | 2025-01-20 | Paper |
A new lower bound in the \(abc\) conjecture
Canadian Mathematical Bulletin | 2024-11-08 | Paper |
| A New Lower Bound in the $abc$ Conjecture | 2023-01-26 | Paper |
Nonexistence Certificates for Ovals in a Projective Plane of Order Ten
Lecture Notes in Computer Science | 2022-10-13 | Paper |
| A SAT-based Resolution of Lam's Problem | 2020-12-08 | Paper |
New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences
IEEE Transactions on Information Theory | 2020-12-04 | Paper |
Complex Golay pairs up to length 28: a search via computer algebra and programmatic SAT
Journal of Symbolic Computation | 2020-09-19 | Paper |
Enumeration of complex Golay pairs via programmatic SAT
Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
A nonexistence certificate for projective planes of order ten with weight 15 codewords
Applicable Algebra in Engineering, Communication and Computing | 2020-07-15 | Paper |
Applying computer algebra systems with SAT solvers to the Williamson conjecture
Journal of Symbolic Computation | 2020-03-24 | Paper |
The SAT+CAS method for combinatorial search with applications to best matrices
Annals of Mathematics and Artificial Intelligence | 2020-02-11 | Paper |
| Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem | 2020-01-31 | Paper |
| SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics | 2019-07-09 | Paper |
| A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples | 2018-11-12 | Paper |
| A doubling construction for Williamson matrices | 2018-03-04 | Paper |
| A New Form of Williamson's Product Theorem | 2017-11-19 | Paper |
Combining SAT solvers with computer algebra systems to verify combinatorial conjectures
Journal of Automated Reasoning | 2017-06-29 | Paper |
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures
Computer Algebra in Scientific Computing | 2016-11-09 | Paper |
Minimal elements for the prime numbers
Experimental Mathematics | 2016-06-29 | Paper |
Vector rational number reconstruction
Proceedings of the 36th international symposium on Symbolic and algebraic computation | 2015-06-09 | Paper |
A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem
(available as arXiv preprint) | N/A | Paper |
AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems
(available as arXiv preprint) | N/A | Paper |
Using finite automata to compute the base-$b$ representation of the golden ratio and other quadratic irrationals
(available as arXiv preprint) | N/A | Paper |
