@misc{indiciaee070a045fb07,
  title = {MaxSAT Resolution and Subcube Sums},
  author = {Yuval Filmus and Meena Mahajan and Gaurav Sood and Marc Vinyals},
  year = {2022},
  doi = {10.1145/3565363},
  url = {https://arxiv.org/abs/2005.11589},
  note = {Source identifier: 2005.11589}
}