Sciweavers

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