3 papers
cs.LO2026
Incremental Neural Network Verification via Learned Conflicts
Raya Elsaleh, Liam Davis, Haoze Wu +1
Neural network verification is often used as a core component within larger analysis procedures, which generate sequences of closely related verification queries over the same netw…
cs.LO2025
Two Optimizations on the Stålmarck Procedure
Sergei Leonov, Liam Davis
In this paper, we introduce StalmarckSAT, the a modern re-implementation of the Stålmarck Procedure for SAT solving, and present two novel strategies to improve the Procedure, Card…
cs.AI2025
Evaluating SAT and SMT Solvers on Large-Scale Sudoku Puzzles
Liam Davis, Tairan Ji
Modern SMT solvers have revolutionized the approach to constraint satisfaction problems by integrating advanced theory reasoning and encoding techniques. In this work, we evaluate…