GridSAT: A Chaff-based Distributed SAT Solver for the Grid. - Wahid Chrabakh; Richard Wolski (SC, 2003)

GridSAT: Design and Implementation of a Computational Grid Application. - Wahid Chrabakh; Richard Wolski (J. Grid Comput., 2006)

GridSAT: a system for solving satisfiability problems using a computational grid. - Wahid Chrabakh; Richard Wolski (Parallel Comput., 2006)

The GridSAT portal: a Grid Web-based portal for solving satisfiability problems using the national cyberinfrastructure. - Wahid Chrabakh; Richard Wolski (Concurr. Comput. Pract. Exp., 2007)