AlphaZeroSAT. TensorFlow implementation of "From Gameplay to Symbolic Reasoning: Learning SAT Solver Heuristics in the Style of Alpha(Go) Zero"

github.com/dmeoli/AlphaZeroSAT
by @dmeoli

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.