@misc{indiciae0792b3768d02, title = {Efficacy of Satisfiability Based Attacks in the Presence of Circuit Reverse Engineering Errors}, author = {Qinhan Tan and Seetal Potluri and Aydin Aysu}, year = {2021}, url = {https://arxiv.org/abs/2005.13048}, note = {Source identifier: 2005.13048} }