@misc{
    Junttila:BCSat0.3,
    author = "Junttila, Tommi",
    howpublished = "Computer program",
    url = "http://www.tcs.hut.fi/~tjunttil/bcsat/index.html",
    year = "2001",
    flags = "SOFTWARE",
    title = "{BCSat} 0.3 - a satisfiability checker for Boolean circuits"
}