| Original language | English |
|---|---|
| Place of Publication | Source code link in section SAT 2007 competition at http://www.satcompetition.org/ |
| Publisher | Unknown Publisher |
| Publication status | Published - Jun 2007 |
Ternary Tree Solver (TTS 4.0)
Research output: Non-textual form › Software