Sciweavers

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