TY  - RPRT
TI  - Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA
AU  - Benjamin Reichenwallner
AU  - Peter Meerwald-Stadler
PY  - 2023
DO  - 10.1109/eurospw59978.2023.00053
UR  - https://arxiv.org/abs/2305.06763
ID  - 2305.06763
ER  -