Solving hard cut problems via flow-augmentation.

Eun Jung Kim Stefan Kratsch Marcin Pilipczuk Magnus Wahlström

Published in: SODA (2021)

Keyphrases

solving hard
combinatorial problems
optimization problems
search problems
np complete
satisfiability problem
propositional satisfiability
neural network
first order logic
combinatorial optimization
propositional logic