BCSat 0.3 - a satisfiability checker for Boolean circuits

Reference:

Tommi Junttila. BCSat 0.3 - a satisfiability checker for boolean circuits. Computer program, 2001.

Suggested BibTeX entry:

@misc{Junttila:BCSat0.3,
    author = {Tommi Junttila},
    howpublished = {Computer program},
    title = {{BCSat} 0.3 - a satisfiability checker for Boolean circuits},
    year = {2001},
}