Pablo San Segundo, Cristóbal Tapia, Julio Puente, Diego Rodríguez-Losada. A New Exact Bit-Parallel Algorithm for SAT. In 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 2. pages 59-65, IEEE Computer Society, 2008. [doi]
@inproceedings{SegundoTPR08,
title = {A New Exact Bit-Parallel Algorithm for SAT},
author = {Pablo San Segundo and Cristóbal Tapia and Julio Puente and Diego Rodríguez-Losada},
year = {2008},
doi = {10.1109/ICTAI.2008.127},
url = {http://dx.doi.org/10.1109/ICTAI.2008.127},
researchr = {https://researchr.org/publication/SegundoTPR08},
cites = {0},
citedby = {0},
pages = {59-65},
booktitle = {20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 2},
publisher = {IEEE Computer Society},
}