Personal tools
You are here: Home → Publications → GridSAT: A Distributed Large Scale Satisfiability Solver for the Computational Grid
Navigation
Log in


Forgot your password?
 
Document Actions

Walid Chrabakh (2006)

GridSAT: A Distributed Large Scale Satisfiability Solver for the Computational Grid

PhD thesis, University of California at Santa Barbara.

by admin — last modified 2008-04-30 12:20
« August 2008 »
Su Mo Tu We Th Fr Sa
12
3456789
10111213141516
17181920212223
24252627282930
31
 

VGrADS Collaborators include:

Rice University UCSD UH UCSB UTK ISI UTK

Powered by Plone