Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

111

Voted

PC
2006

87views Management» more PC 2006»

GridSAT: a system for solving satisfiability problems using a computational grid

15 years 2 months ago

GridSAT: a system for solving satisfiability problems using a computational grid

Download www.ece.rutgers.edu

In this paper, we present GridSAT

Wahid Chrabakh, Richard Wolski

Real-time Traffic

Chaff | PC 2006 | Performance Complete Satisfiability | Programming Languages | Unsolved Satisfiability Problems |

claim paper

Related Content

» GridSAT A Chaffbased Distributed SAT Solver for the Grid

» Solving satisfiability in the tile assembly model with a constantsize tileset

» Some Grid Automata for Grid Computing

» A GridEnabled Problem Solving Environment for QTL Analysis in R

» SORCER Computing and Metacomputing Intergrid

» Strategies for Solving SAT in Grids by Randomized Search

» Solving Optimization Problems with DLL

» Automating Metadata Web Service Deployment for Problem Solving Environments

» Transparent Grid Computing A KnowledgeBased Approach

Post Info
More Details (n/a)

Added	14 Dec 2010
Updated	14 Dec 2010
Type	Journal
Year	2006
Where	PC
Authors	Wahid Chrabakh, Richard Wolski

Comments (0)