[IEEE 2008 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - Dayton, OH, USA (2008.11.3-2008.11.5)] 2008 20th IEEE International Conference on Tools with Artificial Intelligence - From XSAT to SAT by Exhibiting Equivalencies
Ostrowski, Richard, Paris, LionelYear:
2008
Language:
english
DOI:
10.1109/ictai.2008.80
File:
PDF, 308 KB
english, 2008