3 ms·
I wonder if there is research on using deep learning for stuff like SAT solvers.
by thanatropism 7y ago
I wonder if there is research on using deep learning for stuff like SAT solvers.
- brtanymore 7y agoSAT 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...