Parallel hybrid genetic algorithm for sat problems based on OpenMP.

Guanfeng Wu, Qingshan Chen, Feng Cao, Yang Xu, Xiaomei Zhong

Browse the full ISKE paper archive.