Learning Heuristics for Quantified Boolean Formulas Through Reinforcement Learning

Lederman et al. "Learning Heuristics for Quantified Boolean Formulas Through Reinforcement Learning." International Conference on Learning Representations, 2020.

[Lederman et al. "Learning Heuristics for Quantified Boolean Formulas Through Reinforcement Learning." International Conference on Learning Representations, 2020.](https://mlanthology.org/iclr/2020/lederman2020iclr-learning/)

@inproceedings{lederman2020iclr-learning,
  title     = {{Learning Heuristics for Quantified Boolean Formulas Through Reinforcement Learning}},
  author    = {Lederman, Gil and Rabe, Markus and Seshia, Sanjit and Lee, Edward A.},
  booktitle = {International Conference on Learning Representations},
  year      = {2020},
  url       = {https://mlanthology.org/iclr/2020/lederman2020iclr-learning/}
}