@misc{
    Jarvisalo:SATCompetition07,
    author = {J\"arvisalo, Matti},
    ps = "jarvisalo.sat07benchmarks.ps",
    title = "Equivalence checking hardware multiplier designs",
    url = "http://www.tcs.hut.fi/~mjj/benchmarks/",
    note = "SAT Competition 2007 benchmark description. Available at \url{http://www.satcompetition.org/2007/contestants.html}",
    flags = "ACPT public",
    year = "2007",
    pdf = "jarvisalo.sat07benchmarks.pdf"
}