From Gameplay to Symbolic Reasoning: Learning SAT Solver Heuristics in the Style of Alpha(Go) Zero

14 February 2018

Fei Wang

Papers citing "From Gameplay to Symbolic Reasoning: Learning SAT Solver Heuristics in the Style of Alpha(Go) Zero"

1 / 1 papers shown

Title
Machine Learning for SAT: Restricted Heuristics and New Graph Representations Mikhail Shirokikh Ilya Shenbin Anton M. Alekseev Sergey I. Nikolenko NAI 18 0 0 18 Jul 2023