Enhancing Clause Learning by Symmetry in SAT Solvers.
| Autor: | Benhamou, B., Nabhani, T., Ostrowski, R., Saidi, M.R. |
|---|---|
| Zdroj: | 2010 22nd IEEE International Conference on Tools with Artificial Intelligence (ICTAI); 2010, p329-335, 7p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|