SAT may be a game with rules too simple for DL approaches to outperform state-of-the-art traditional solvers right now, but SMT (Satisfiability modulo theories)

SAT may be a game with rules too simple for DL approaches to outperform state-of-the-art traditional solvers right now, but SMT (Satisfiability modulo theories) is another story: https://papers.nips.cc/paper/8233-learning-to-solve-smt-formulas.pdf https://papers.nips.cc/paper/8233-learning-to-solve-smt-form...