@misc{indiciaec062e68a5c1b,
  title = {SSLEM: A Simplifier for MBA Expressions based on Semi-linear MBA Expressions and Program Synthesis},
  author = {Seong-Kyun Mok and Seoyeon Kang and Jeongwoo Kim and Eun-Sun Cho and Seokwoo Choi},
  year = {2022},
  url = {https://arxiv.org/abs/2208.05612},
  note = {Source identifier: 2208.05612}
}