The GridSAT portal: a Grid Web-based portal for solving satisfiability problems using the national cyberinfrastructure.
Wahid ChrabakhRichard WolskiPublished in: Concurr. Comput. Pract. Exp. (2007)
Keyphrases
- web portals
- satisfiability problem
- web portal
- solving hard
- stochastic local search
- np complete
- metadata
- state government
- temporal logic
- search algorithm
- finite domain
- sat instances
- phase transition
- web based systems
- graph coloring problems
- search problems
- davis putnam
- metaheuristic
- evolutionary algorithm
- davis putnam logemann loveland