[IEEE 2010 22nd International Conference on Tools with Artificial Intelligence (ICTAI) - Arras, France (2010.10.27-2010.10.29)] 2010 22nd IEEE International Conference on Tools with Artificial Intelligence - Enhancing Clause Learning by Symmetry in SAT Solvers
Benhamou, Belaid, Nabhani, Tarek, Ostrowski, Richard, Saidi, Mohamed RedaYear:
2010
Language:
english
DOI:
10.1109/ictai.2010.55
File:
PDF, 740 KB
english, 2010