Pablo San Segundo Cristóbal Tapia Julio Puente Diego Rodríguez-Losada A New Exact Bit-Parallel Algorithm for SAT. 59-65 2008 ICTAI (2) http://dx.doi.org/10.1109/ICTAI.2008.127 conf/ictai/2008-2 db/conf/ictai/ictai2008-2.html#SegundoTPR08