Search Results for author: Michał Łuszczyk

Found 1 papers, 0 papers with code

Neural heuristics for SAT solving

no code implementations27 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.

Cannot find the paper you are looking for? You can Submit a new open access paper.