@misc{indiciae7493c5db15b9,
  title = {A Dynamic Phase Selection Strategy for Satisfiability Solvers},
  author = {Jingchao Chen},
  year = {2012},
  url = {https://arxiv.org/abs/1208.1613},
  note = {Source identifier: 1208.1613}
}