@misc{indiciae640538e0d6b8,
  title = {Graph Neural Reasoning May Fail in Certifying Boolean Unsatisfiability},
  author = {Ziliang Chen and Zhanfu Yang},
  year = {2019},
  url = {https://arxiv.org/abs/1909.11588},
  note = {Source identifier: 1909.11588}
}