Sciweavers

PC
2006
87views Management» more  PC 2006»
13 years 4 months ago
GridSAT: a system for solving satisfiability problems using a computational grid
In this paper, we present GridSAT
Wahid Chrabakh, Richard Wolski