@inproceedings{BiereHeule-POS18,
  author    = {Armin Biere and Marijn Heule},
  title     = {The Effect of Scrambling {CNFs}},
  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     = {111--126},
  year      = {2019},
  publisher = {EasyChair},
}