SAT Benchmarks
References
Harri Haanpää, Matti Järvisalo, Petteri Kaski, and Ilkka Niemelä. Journal on Satisfiability, Boolean Modeling and Computation, 2(1):27-46, 2006. See [here] [2] SAT Benchmarks based on 3-Regular Graphs. Harri Haanpää, Matti Järvisalo, Petteri Kaski, and Ilkka Niemelä. SAT Competition 2005 benchmark description. See [here] [3] Further Investigations into Regular XORSAT. Matti Järvisalo. In Proceedings of the Twenty-First National Conference on Artificial Intelligence (AAAI-06), pages 1873-1874. AAAI Press, 2006. See [here]. [4] Equivalence Checking Hardware Multiplier Designs. Matti Järvisalo. SAT Competition 2007 benchmark description. Benchmarks available here. [ps] [ps.gz] [pdf] [bibtex] [5] The Effect of Structural Branching on the Efficiency of Clause Learning SAT Solving. Matti Järvisalo. In 14th RCRA Workshop: Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2007. [ps] [ps.gz] [pdf] [abstract/bibtex] [6] Impact of Restricted Branching on Clause Learning SAT Solving. Matti Järvisalo. Licentiate's thesis. Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, June 2007. [abstract/bibtex] [7] Limitations of Restricted Branching in Clause Learning. Matti Järvisalo and Tommi Junttila. In Christian Bessiere, editor, Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP 2007), volume 4741 of Lecture Notes in Computer Science, pages 348-363. Springer, 2007. [doi:10.1007/978-3-540-74970-7_26] [ps] [pdf] [abstract/bibtex] [8] The Effect of Structural Branching on the Efficiency of Clause Learning SAT Solving: An Experimental Study. Matti Järvisalo and Ilkka Niemelä. Journal of Algorithms, Elsevier, to appear. [doi:10.1016/j.jalgor.2008.02.005] Preliminary version: [ps] [pdf] [abstract/bibtex] [9] Justification-Based Non-Clausal Local Search for SAT. Matti Järvisalo, Tommi Junttila, and Ilkka Niemelä. In Proceedings of the 18th European Conference on Artificial Intelligence (ECAI 2008), IOS Press, 2008 (to appear). [ps] [pdf] [bibtex] [TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links] Latest update: 27 May 2008. |