A New Exact Bit-Parallel Algorithm for SAT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Pablo San Segundo' in GoogleThis author has not been identified. Look up 'Cristóbal Tapia' in GoogleThis author has not been identified. Look up 'Julio Puente' in GoogleThis author has not been identified. Look up 'Diego Rodríguez-Losada' in Google

runs on WebDSL