SAT Benchmarks based on 3-Regular Graphs

Reference:

Harri Haanpää, Matti Järvisalo, Petteri Kaski, and Ilkka Niemelä. SAT benchmarks based on 3-regular graphs, 2005. SAT Competition 2005 benchmark description. Benchmark set available at http://www.tcs.hut.fi/%7Emjj/benchmarks/. SAT Competition 2005 results available through http://www.satcompetition.org/2005/.

Suggested BibTeX entry:

@misc{HJKN:SAT05,
    author = {Harri Haanp{\"a}{\"a} and Matti J{\"a}rvisalo and Petteri Kaski and Ilkka Niemel{\"a}},
    note = {SAT Competition 2005 benchmark description. Benchmark set available at \url{http://www.tcs.hut.fi/\%7Emjj/benchmarks/}. SAT Competition 2005 results available through \url{http://www.satcompetition.org/2005/}},
    title = {{SAT} Benchmarks based on 3-Regular Graphs},
    year = {2005},
}