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}, }