MBA 표현식을 E-그래프를 사용하여 효율적으로 단순화하기

MBA(Mixed Boolean Arithmetic) 표현식을 E-그래프 데이터 구조를 사용하여 체계적으로 재작성하고 더 단순한 표현식을 찾는 방법을 제안한다.