@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Sanjit Seshia's publication pages at http://www.eecs.berkeley.edu/~sseshia
@inproceedings{lederman-iclr20,
  author    = {Gil Lederman and
               Markus N. Rabe and
               Sanjit Seshia and
               Edward A. Lee},
  title     = {Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning},
  booktitle = {8th International Conference on Learning Representations (ICLR)},
  year      = {2020},
  month     = {April},
  abstract  = {We demonstrate how to learn efficient heuristics for automated reasoning algorithms for quantified Boolean formulas through deep reinforcement learning. We focus on a backtracking search algorithm, which can already solve formulas of impressive size - up to hundreds of thousands of variables. The main challenge is to find a representation of these formulas that lends itself to making predictions in a scalable way. For a family of challenging problems, we learned a heuristic that solves significantly more formulas compared to the existing handwritten heuristics. },
}