Premium
The GridSAT portal: a Grid Web‐based portal for solving satisfiability problems using the national cyberinfrastructure
Author(s) -
Chrabakh Wahid,
Wolski Rich
Publication year - 2007
Publication title -
concurrency and computation: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.309
H-Index - 67
eISSN - 1532-0634
pISSN - 1532-0626
DOI - 10.1002/cpe.1079
Subject(s) - cyberinfrastructure , computer science , grid , grid computing , interface (matter) , set (abstract data type) , boolean satisfiability problem , computational science , e science , theoretical computer science , operating system , mathematics , programming language , geometry , bubble , maximum bubble pressure method