A

AIG-AC

And-Inverter Graph Attacker Classification via Bounded Model Checking.