@misc{indiciae41d3efabea89,
  title = {Accumulating Pruning Constraints: New Exact Polynomial-Space Algorithms for Max 2-SAT},
  author = {Konstantin Kutzkov},
  year = {2026},
  url = {https://arxiv.org/abs/2610.39992},
  note = {Source identifier: 2610.39992}
}