BCSat

Research output: Artistic and non-textual form › Software › Scientific

Original language	English
Publication status	Published - 2000
MoE publication type	I2 ICT applications

Keywords

Boolean circuits
satisfiability checking

Other files and links

http://www.tcs.hut.fi/~tjunttil/bcsat/index.html

Cite this