CycSAT-unresolvable cyclic logic encryption using unreachable states.

Amin Rezaei, You Li, Yuanqi Shen, Shuyu Kong, Hai Zhou

Browse the full ASPDAC paper archive.