@Article{NiemetzPreinerBiere-FMSD17,
  author="Aina Niemetz and Mathias Preiner and Armin Biere",
  title="Propagation based local search for bit-precise reasoning",
  journal="Formal Methods in System Design",
  year="2017",
  volume={51},
  number={3},
  pages={608-636},
  publisher={Springer},
}