GridSAT: a system for solving satisfiability problems using a computational grid.
Wahid ChrabakhRichard WolskiPublished in: Parallel Comput. (2006)
Keyphrases
- satisfiability problem
- solving hard
- computational grids
- stochastic local search
- np complete
- finite domain
- sat instances
- search algorithm
- phase transition
- temporal logic
- davis putnam logemann loveland
- graph coloring problems
- sat problem
- combinatorial problems
- grid computing
- distributed computing
- search problems
- geographically distributed
- davis putnam
- mazurkiewicz traces
- constraint propagation
- constraint programming
- max sat
- combinatorial optimization
- resource allocation
- propositional satisfiability
- load balancing
- intelligent agents
- constraint satisfaction problems
- response time
- np hard