24 citations · 34 across the 9 of their papers we have counts for
1 paper · 1 filter
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. We report improvements…