3 ms·
I was wondering, why use Deepmind when you can just use SAT solver? I am not saying SAT solvers cannot be improved with AI, maybe they can.
by js8 4y ago
I was wondering, why use Deepmind when you can just use SAT solver? I am not saying SAT solvers cannot be improved with AI, maybe they can.
- klyrs 4y agoNote my uncertainty about the suitability of a max-sat formulation. But also note who did the Fawzi et al result: the DeepMind team at Google. I think that dogfooding their own stuff is an understandable default.
- fcholf 4y agoActually, this has been done: https://arxiv.org/abs/1903.11391 https://arxiv.org/abs/1903.11391