A New Exact Bit-Parallel Algorithm for SAT.

Pablo San Segundo, Cristbal Tapia, Julio Puente, Diego Rodrguez-Losada

Browse the full ICTAI paper archive.