1 |
Huth, M. and M. Ryan, Logic in Computer Science, Cambridge university Press, 2004
|
2 |
Subbarayan, S. and D. Pradhan, 'NiVER: Non increasing Variable Elimination Resolution for Preprocessing SAT Instances', in the Proceedings of SAT, 2004
|
3 |
Velev, M. N., 'Tuning SAT for Formal Verification and Testing', Journal of Universal Computer Science, Vol.10, No.12 (2006), pp.1559-1561
|
4 |
Davis, M., G. Logemann, and D. Loveland, 'A Machine Program for Theorem Proving', Communications of the ACM, Vol.5, No.7(1962), pp.394-397
DOI
|
5 |
Een, N. and N. Sorensson, 'An Extensible SAT Solver', in The Proceedings of SAT, 2003
|
6 |
Sinz, C. and E. M. Dieringer, 'DPvis - a Tool to Visualize Structured SAT Instances', in the Proceedings of SAT, (2005), pp. 257-268
|
7 |
Lynce, I. and J. Ouaknine, 'Sudoku as a SAT problem', in the Proceedings of AI MATH, 2006
|
8 |
Weber, T., 'A SAT-based Sudoku Solver', in the Proceedings of LPAR, (2005), pp.11- 15
|
9 |
Kwon, G. and H. Jain, Optimized CNF Encoding for Sudoku Puzzles, in the Proceedings of LPAR, 2006
|