Abstract
GrADSAT: A Parallel SAT Solver for the Grid
by: Wahid Chrabakh and Rich Wolski
Abstract:
Keywords:
We present GrADSAT, a parallel satisfiability solver aimed at solving hardSAT instances using a large number of widely distributed commoditycomputational resources. The GrADSAT parallel algorithm uses intelligent backtracking,sharing of learned clauses an
Date:
February 2003
Document: 2003-05
