T. Junttila
Research output: Artistic and non-textual form › Software › Scientific
}
TY - ADVS
T1 - BCSat
AU - Junttila, T.
PY - 2000
Y1 - 2000
KW - Boolean circuits
KW - satisfiability checking
UR - http://www.tcs.hut.fi/~tjunttil/bcsat/index.html
M3 - Software
ER -