Keyphrases
- satisfiability testing
- search algorithm
- stochastic local search
- propositional satisfiability
- propositional logic
- satisfiability problem
- parallel processing
- search strategies
- genetic algorithm
- search procedures
- shared memory
- sat solving
- sat solvers
- search space
- memetic algorithm
- parallel implementation
- global search
- parallel algorithm
- np complete
- random sat instances