@inproceedings{jarvis2020cooperative,
  title={Cooperative parallel sat local search with path relinking},
  author={Jarvis, Padraigh and Arbelaez, Alejandro},
  booktitle={Evolutionary Computation in Combinatorial Optimization: 20th European Conference, EvoCOP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15--17, 2020, Proceedings 20},
  pages={83--98},
  year={2020},
  organization={Springer}
}