@misc{indiciae7642b0f2deb9,
  title = {Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA},
  author = {Benjamin Reichenwallner and Peter Meerwald-Stadler},
  year = {2023},
  doi = {10.1109/eurospw59978.2023.00053},
  url = {https://arxiv.org/abs/2305.06763},
  note = {Source identifier: 2305.06763}
}