Combining SAT solvers on discrete resources.
| Autor: | Ngoko, Y., Trystram, D. |
|---|---|
| Zdroj: | 2009 International Conference on High Performance Computing & Simulation; 2009, p153-160, 8p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Ngoko, Y., Trystram, D. |
|---|---|
| Zdroj: | 2009 International Conference on High Performance Computing & Simulation; 2009, p153-160, 8p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|