TY  - RPRT
TI  - SSLEM: A Simplifier for MBA Expressions based on Semi-linear MBA Expressions and Program Synthesis
AU  - Seong-Kyun Mok
AU  - Seoyeon Kang
AU  - Jeongwoo Kim
AU  - Eun-Sun Cho
AU  - Seokwoo Choi
PY  - 2022
UR  - https://arxiv.org/abs/2208.05612
ID  - 2208.05612
ER  -