Original language | English |
---|---|
Edition | Versio 0.2 |
Publication status | Published - 2006 |
MoE publication type | I2 ICT applications |
Keywords
- Computational Grid
- Parallel Search Algorithms
- Parallelization of DPLL procedure
- SAT
Antti E.J. Hyvärinen
Research output: Artistic and non-textual form › Software › Scientific
Original language | English |
---|---|
Edition | Versio 0.2 |
Publication status | Published - 2006 |
MoE publication type | I2 ICT applications |