A New Exact Bit-Parallel Algorithm for SAT | Publicación