A SAT + Computer Algebra System Verification of the Ramsey Problems R(3,8) and R(3,9)
MMath, University of À¶Ý®ÊÓƵ, 2024.
[pdf]
A SAT Solver + Computer Algebra Attack on the Minimum Kochen–Specker Problem
MMath, University of À¶Ý®ÊÓƵ, 2023.
[pdf]
Understanding and Enhancing CDCL-based SAT Solvers
PhD thesis, University of À¶Ý®ÊÓƵ, 2018.
Computational Methods for Combinatorial and Number Theoretic Problems
PhD thesis, University of À¶Ý®ÊÓƵ, 2017.