GridSAT Portal: A Grid Portal for Solving Satisfiability Problems Wahid Chrabakh and Rich Wolski University of California, Santa Barbara.
