Parallel SAT Solving on Peer-to-Peer Desktop Grids.

Sven Schulz Wolfgang Blochinger

Published in: J. Grid Comput. (2010)

Keyphrases

sat solving
peer to peer
grid computing
sat solvers
digital libraries
boolean satisfiability
boolean optimization
linear programming
information retrieval
learning algorithm
objective function
simulated annealing