Machine Learning for SAT: Restricted Heuristics and New Graph Representations

M. Shirokikh, I. Shenbin, A. Alekseev, S.I. Nikolenko

arXiv · 2023

@misc{shirokikh2023_516,
  author = {Shirokikh, Mikhail and Shenbin, Ilya and Alekseev, Anton and Nikolenko, Sergey I.},
  title = {{Machine Learning for SAT: Restricted Heuristics and New Graph Representations}},
  year = {2023},
  eprint = {2307.09141},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2307.09141}
}