@misc{indiciaef756bf8d5b8e,
  title = {Characterization of Glue Variables in CDCL SAT Solving},
  author = {Md Solimul Chowdhury and Martin Müller and Jia-Huai You},
  year = {2019},
  url = {https://arxiv.org/abs/1904.11106},
  note = {Source identifier: 1904.11106}
}