@inproceedings{BiereFroehlich-POS15,
  author    = {Armin Biere and Andreas Fr\"ohlich},
  title     = {Evaluating {CDCL} Restart Schemes},
  booktitle = {Proceedings of Pragmatics of SAT 2015 and 2018},
  editor    = {Daniel Le Berre and Matti J\"arvisalo},
  series    = {EPiC Series in Computing},
  volume    = {59},
  pages     = {1--17},
  year      = {2019},
  publisher = {EasyChair},
}