On Multi-threaded Satisfiability Solving with OpenMP.

Pascal Vander-Swalmen Gilles Dequen Michaël Krajecki

Published in: IWOMP (2008)

Keyphrases

multi threaded
multi core processors
parallel programming
information flow
operating system
computer architecture
real time
satisfiability problem
genetic algorithm
computing resources
high performance computing
data processing
parallel algorithm
multithreading