Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT

Holden. "Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT." Foundations and Trends in Machine Learning, 2021. doi:10.1561/2200000081

[Holden. "Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT." Foundations and Trends in Machine Learning, 2021.](https://mlanthology.org/ftml/2021/holden2021ftml-machine/) doi:10.1561/2200000081

@article{holden2021ftml-machine,
  title     = {{Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT}},
  author    = {Holden, Sean B.},
  journal   = {Foundations and Trends in Machine Learning},
  year      = {2021},
  pages     = {807-989},
  doi       = {10.1561/2200000081},
  volume    = {14},
  url       = {https://mlanthology.org/ftml/2021/holden2021ftml-machine/}
}