Parallel hybrid genetic algorithm for sat problems based on OpenMP

Guanfeng Wu, Qingshan Chen, Feng Cao, Yang Xu 0001, Xiaomei Zhong. Parallel hybrid genetic algorithm for sat problems based on OpenMP. In Tianrui Li, Luis Martínez-López, Yun Li, editors, 12th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2017, Nanjing, China, November 24-26, 2017. pages 1-5, IEEE, 2017. [doi]

@inproceedings{WuCC0Z17,
  title = {Parallel hybrid genetic algorithm for sat problems based on OpenMP},
  author = {Guanfeng Wu and Qingshan Chen and Feng Cao and Yang Xu 0001 and Xiaomei Zhong},
  year = {2017},
  doi = {10.1109/ISKE.2017.8258783},
  url = {https://doi.org/10.1109/ISKE.2017.8258783},
  researchr = {https://researchr.org/publication/WuCC0Z17},
  cites = {0},
  citedby = {0},
  pages = {1-5},
  booktitle = {12th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2017, Nanjing, China, November 24-26, 2017},
  editor = {Tianrui Li and Luis Martínez-López and Yun Li},
  publisher = {IEEE},
  isbn = {978-1-5386-1829-5},
}