Login / Signup
Flow-augmentation III: Complexity dichotomy for Boolean CSPs parameterized by the number of unsatisfied constraints.
Eun Jung Kim
Stefan Kratsch
Marcin Pilipczuk
Magnus Wahlström
Published in:
CoRR (2022)
Keyphrases
</>
computational complexity
small number
constraint satisfaction
worst case
real valued
space complexity
symmetry breaking
special case
constraint satisfaction problems
constrained optimization
arc consistency
constraint graph