@misc{indiciae519e65f71008,
  title = {Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting},
  author = {Lisa Oakley and Steven Holtzen and Alina Oprea},
  year = {2024},
  url = {https://arxiv.org/abs/2402.16982},
  note = {Source identifier: 2402.16982}
}