dmeoli / GQSAT

PyTorch implementation of "Can Q-Learning with Graph Networks Learn a Generalizable Branching Heuristic for a SAT Solver?"

https://arxiv.org/abs/1909.11830

Geek Repo

Github PK Tool