Parallel Execution of Stochastic Search Procedures on Reduced SAT Instances.
Wenhui ZhangZhuo HuangJian ZhangPublished in: PRICAI (2002)
Keyphrases
- search procedures
- parallel execution
- satisfiability problem
- sat instances
- search algorithm
- sat problem
- np complete
- sat solvers
- temporal logic
- data partitioning
- search strategies
- parallel processing
- cost model
- phase transition
- randomly generated
- parallel computing
- search space
- metaheuristic
- search procedure
- shared memory
- constraint satisfaction problems
- routing problem
- genetic algorithm
- search tree
- database
- search methods
- model checking