Slide 1GridSAT Portal: A Grid Portal for Solving Satisfiability Problems Wahid Chrabakh and Rich Wolski University of California, Santa Barbara Slide 2 Challenging Scientific…