A New Exact Bit-Parallel Algorithm for SAT. - Pablo San Segundo; Cristóbal Tapia; Julio Puente; Diego Rodríguez-Losada (ICTAI (2), 2008)