Login / Signup
Optimizing over trained GNNs via symmetry breaking.
Shiqiang Zhang
Juan S. Campos
Christian Feldmann
David Walz
Frederik Sandfort
Miriam Mathea
Calvin Tsay
Ruth Misener
Published in:
NeurIPS (2023)
Keyphrases
</>
propositional satisfiability
symmetry breaking
constraint programming
sat solvers
quantified boolean formulae
boolean satisfiability
global constraints
combinatorial problems
training set
constraint satisfaction problems
integer programming
data structure
upper bound
constraint propagation