SAT Benchmarks based on 3-Regular Graphs (2005)
AUTHORS:
Haanpää Harri
,
Järvisalo Matti
,
Kaski Petteri
,
Niemelä Ilkka
INTERNALPDF:
internalpdf/hjkn05satben.pdf
@misc{ hjkn05:satben, author = {Haanp{\"a}{\"a}, Harri and J{\"a}rvisalo, Matti and Kaski, Petteri and Niemel{\"a}, Ilkka}, title = "{SAT} Benchmarks based on 3-Regular Graphs", month = "May", 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 = "copy", year = "2005", pdf = "hjkn05satben.pdf" }