@misc{indiciaec834db66adc6,
  title = {Peel-and-Bound: Generating Stronger Relaxed Bounds with Multivalued Decision Diagrams},
  author = {Isaac Rudich and Quentin Cappart and Louis-Martin Rousseau},
  year = {2022},
  doi = {10.4230/lipics.cp.2022.35},
  url = {https://arxiv.org/abs/2205.05216},
  note = {Source identifier: 2205.05216}
}