@misc{
    HJKN:SAT05,
    author = {Haanp{\"a}{\"a}, Harri and J{\"a}rvisalo, Matti and Kaski, Petteri and Niemel{\"a}, Ilkka},
    ps = "hjkn.sat05benchmarks.ps",
    optmonth = "May",
    title = "{SAT} Benchmarks based on 3-Regular Graphs",
    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/}",
    flags = "ACPT public",
    year = "2005",
    pdf = "hjkn.sat05benchmarks.pdf"
}