The Mixed Boolean-Arithmetic (MBA) expression has been widely used by attackers as an effective obfuscation schema to hide malicious code and conceal sensitive data. For deobfuscating MBAs, the ...

Many tasks in computer-aided design (CAD), such as equivalence checking, property checking, logic synthesis, and false paths analysis, require efficient Boolean reasoning for problems derived from ...