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

Wahid Chrabakh, Richard Wolski

Browse the full SC paper archive.