GridSAT: A Chaff-based Distributed SAT Solver for the Grid.

Wahid Chrabakh Richard Wolski

Published in: SC (2003)

Keyphrases

sat solvers
orders of magnitude
sat problem
sat solving
propositional satisfiability
boolean satisfiability
max sat
constraint satisfaction
search strategies
sat instances
constraint solver
search space
information retrieval systems