Sciweavers

PC
2006

GridSAT: a system for solving satisfiability problems using a computational grid

13 years 11 months ago
GridSAT: a system for solving satisfiability problems using a computational grid
In this paper, we present GridSAT
Wahid Chrabakh, Richard Wolski
Added 14 Dec 2010
Updated 14 Dec 2010
Type Journal
Year 2006
Where PC
Authors Wahid Chrabakh, Richard Wolski
Comments (0)