Evaluating SAT and SMT Solvers on Large-Scale Sudoku Puzzles
We benchmark traditional SAT Solvers and modern SMT Solvers against each other with 25x25 Sudoku, deriving insights on the evolution of satisfiability.
Jan 15, 2025
RBlocks: Block Programming IDE for R
RBlocks is a block-based R IDE designed to be an introductory programming interface for Statistics students.
Jan 2, 2025
Lookahead Branching for Neural Network Verification
We present a general lookahead branching method for branch-and-bound in neural network verification, and demonstrate that spending more time at key points in branch-and-bound evaluating branching decisions leads to more efficient verification.
Dec 1, 2024
Two Strategies to Improve the Stålmarck Procedure
We develop an open source modern re-implementation Stålmarck procedure for boolean satisfiability, and explore two strategies in CDB and DPO to improve the performance of the procedure.
Mar 1, 2024