Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA | IEEE Conference Publication | IEEE Xplore