@inproceedings{learninglocalsearchheuristicsforboolean,
  title = {Learning Local Search Heuristics for Boolean Satisfiability},
  author = {Emre Yolcu and Barnabas Poczos},
  year = {2019},
  booktitle = {NeurIPS 2019 12},
  url = {http://papers.nips.cc/paper/9012-learning-local-search-heuristics-for-boolean-satisfiability},
}