Communication in Massively-Parallel SAT Solving.

Thorsten Ehlers Dirk Nowotka Philipp Sieweck

Published in: ICTAI (2014)

Keyphrases

massively parallel
sat solving
fine grained
sat solvers
parallel computing
parallel machines
boolean satisfiability
sat problem
orders of magnitude
constraint satisfaction
genetic algorithm
search algorithm
temporal logic
search tree