| Original language | English |
|---|---|
| Publication status | Published - 2001 |
| MoE publication type | I2 ICT applications |
Keywords
- Boolean circuits
- satisfiability checking
BCSat 0.3 - a satisfiability checker for Boolean circuits
Research output: Artistic and non-textual form › Software › Scientific