Security and Communication Networks

Research Article

An In-Place Simplification on Mixed Boolean-Arithmetic Expressions

Table 2

MBA samples in the benchmarks.