[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 - A New Exact Bit-Parallel Algorithm for SAT
Segundo, Pablo San, Tapia, Cristóbal, Puente, Julio, Rodríguez-Losada, DiegoYear:
2008
Language:
english
DOI:
10.1109/ictai.2008.127
File:
PDF, 383 KB
english, 2008