Sciweavers

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