@inproceedings{NEURIPS2019_12e59a33, author = {Yolcu, Emre and Poczos, Barnabas}, booktitle = {Advances in Neural Information Processing Systems}, editor = {H. Wallach and H. Larochelle and A. Beygelzimer and F. d\textquotesingle Alch\'{e}-Buc and E. Fox and R. Garnett}, pages = {}, publisher = {Curran Associates, Inc.}, title = {Learning Local Search Heuristics for Boolean Satisfiability}, url = {https://proceedings.neurips.cc/paper_files/paper/2019/file/12e59a33dea1bf0630f46edfe13d6ea2-Paper.pdf}, volume = {32}, year = {2019} }