Login / Signup
Wahid Chrabakh
Publication Activity (10 Years)
Years Active: 2003-2007
Publications (10 Years): 0
</>
Publications
</>
Wahid Chrabakh
,
Richard Wolski
The GridSAT portal: a Grid Web-based portal for solving satisfiability problems using the national cyberinfrastructure.
Concurr. Comput. Pract. Exp.
19 (6) (2007)
Wahid Chrabakh
,
Richard Wolski
GridSAT: a system for solving satisfiability problems using a computational grid.
Parallel Comput.
32 (9) (2006)
Wahid Chrabakh
,
Richard Wolski
GridSAT: Design and Implementation of a Computational Grid Application.
J. Grid Comput.
4 (2) (2006)
Wahid Chrabakh
,
Richard Wolski
GridSAT: A Chaff-based Distributed SAT Solver for the Grid.
SC
(2003)