no code implementations • 27 May 2020 • Sebastian Jaszczur, Michał Łuszczyk, Henryk Michalewski
We use neural graph networks with a message-passing architecture and an attention mechanism to enhance the branching heuristic in two SAT-solving algorithms.