Author

Peter William Nightingale

University of York

h-index 19 Homepage View on Semantic Scholar

We have 1 of 76 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Predicting Assignments of MaxSAT Variables with Graph Neural Networks

A graph neural network architecture that is trained to predict the truth value of each MaxSAT variable in an optimal solution (with a confidence score) is proposed, and significant improvements in performance are demonstrated compared to a current branch-and-bound MaxSAT solver.

J. Oliva, Peter William Nightingale, Felix Ulrich-Oltean · 0 citations