APA (7th ed.) Citation

Davis, L., & Ji, T. (2025). Evaluating SAT and SMT Solvers on Large-Scale Sudoku Puzzles.

Chicago Style (17th ed.) Citation

Davis, Liam, and Tairan Ji. Evaluating SAT and SMT Solvers on Large-Scale Sudoku Puzzles. 2025.

MLA (9th ed.) Citation

Davis, Liam, and Tairan Ji. Evaluating SAT and SMT Solvers on Large-Scale Sudoku Puzzles. 2025.

Warning: These citations may not always be 100% accurate.