A New Exact Bit-Parallel Algorithm for SAT.

Pablo San Segundo Cristóbal Tapia Julio Puente Diego Rodríguez-Losada

Published in: ICTAI (2) (2008)

Keyphrases

parallel algorithm
search algorithms for solving
parallel computation
satisfiability problem
shared memory
parallel programming
cluster of workstations
parallel implementations
search algorithm
sat solvers
medial axis transform
parallel version
discovery of association rules
binary search trees