Research Article

The GridSAT portal: a Grid Web-based portal for solving satisfiability problems using the national cyberinfrastructure

  1. Wahid Chrabakh*,
  2. Rich Wolski

Article first published online: 10 OCT 2006

DOI: 10.1002/cpe.1079

Issue

Concurrency and Computation: Practice and Experience

Concurrency and Computation: Practice and Experience

Special Issue: Science Gateways—Common Community Interfaces to Grid Resources

Volume 19, Issue 6, pages 795–808, 25 April 2007

Additional Information

How to Cite

Chrabakh, W. and Wolski, R. (2007), The GridSAT portal: a Grid Web-based portal for solving satisfiability problems using the national cyberinfrastructure. Concurrency Computat.: Pract. Exper., 19: 795–808. doi: 10.1002/cpe.1079

Author Information

  1. Department of Computer Science, University of California Santa Barbara, Santa Barbara, CA 93117, U.S.A.

*Department of Computer Science, University of California Santa Barbara, Santa Barbara, CA 93117, U.S.A.

Publication History

  1. Issue published online: 13 MAR 2007
  2. Article first published online: 10 OCT 2006
  3. Manuscript Accepted: 1 MAR 2006
  4. Manuscript Revised: 4 JAN 2006
  5. Manuscript Received: 15 AUG 2005

Funded by

  • National Science Foundation. Grant Numbers: CAREER-0093166, EIA-9975020, ACI-0103759, CCR-0331654

SEARCH

SEARCH BY CITATION

ARTICLE TOOLS

Get PDF (1169K)

Keywords:

  • satisfiability solver;
  • portal;
  • Web;
  • distributed;
  • computational Grid;
  • parallel

Abstract

We present a Grid portal problem (which is accessible through http://orca.cs.ucsb.edu/sat_portal) for solving Boolean satisfiability. The portal provides a simple and public interface to a sophisticated and complex Grid application—GridSAT—running on a large set of distributed computational resources hosted in different large-scale national computing centers (i.e. the national cyberinfrastructure circa 2005). In this paper we describe the design goals of the portal and how it has influenced some of the application features. We also describe how the adaptive and self-tuning features of Grid applications (written from first principles) make the portal simpler and easier to implement. Copyright © 2006 John Wiley & Sons, Ltd.

Get PDF (1169K)