| |
| 2007 | ||
|---|---|---|
| 4 | EE | Wahid Chrabakh, Richard Wolski: The GridSAT portal: a Grid Web-based portal for solving satisfiability problems using the national cyberinfrastructure. Concurrency and Computation: Practice and Experience 19(6): 795-808 (2007) |
| 2006 | ||
| 3 | EE | Wahid Chrabakh, Richard Wolski: GridSAT: Design and Implementation of a Computational Grid Application. J. Grid Comput. 4(2): 177-193 (2006) |
| 2 | EE | Wahid Chrabakh, Richard Wolski: GridSAT: a system for solving satisfiability problems using a computational grid. Parallel Computing 32(9): 660-687 (2006) |
| 2003 | ||
| 1 | EE | Wahid Chrabakh, Richard Wolski: GridSAT: A Chaff-based Distributed SAT Solver for the Grid. SC 2003: 37 |
| 1 | Richard Wolski | [1] [2] [3] [4] |