The following publications are possibly variants of this publication:
- CycSAT-unresolvable cyclic logic encryption using unreachable statesAmin Rezaei, You Li, Yuanqi Shen, Shuyu Kong, Hai Zhou. aspdac 2019: 358-363 [doi]
- CycSAT: SAT-Based Attack on Cyclic Logic EncryptionsHai Zhou, Ruifeng Jiang, Shuyu Kong. iacr, 2017:626, 2017. [doi]
- CycSAT: SAT-based attack on cyclic logic encryptionsHai Zhou, Ruifeng Jiang, Shuyu Kong. iccad 2017: 49-56 [doi]