@article{CaiZhangFleuryBiere-JAIR22,
  author    = {Shaowei Cai and Xindi Zhang and Mathias Fleury and Armin Biere},
  title     = {Better Decision Heuristics in {CDCL} through Local Search and Target Phases},
  journal   = {J. Artif. Intell. Res.},
  volume    = {74},
  pages     = {1515--15163,
  year      = {2022},
}