Keyphrases
- satisfiability testing
- genetic algorithm
- parallel processing
- parallel computation
- shared memory
- search algorithm
- tabu search
- parallel implementation
- combinatorial optimization
- parallel programming
- parallel computing
- memetic algorithm
- search space
- case study
- machine learning
- website
- learning algorithm
- parallel architectures
- information retrieval