Publications

Liam Davis (2025). Evaluating SAT and SMT Solvers on Large-Scale Sudoku Puzzles.
PDF Code Package
Liam Davis (2025). RBlocks: Block Programming IDE for R.
Code URL
Liam Davis (2024). Online Learning for Neural Network Verification.
Code
Liam Davis (2024). Optimizations on the Stalmarck Procedure.