Enhancements to SAT Attack: Speedup and Breaking Cyclic Logic Encryption

Yung-Chih Chen. Enhancements to SAT Attack: Speedup and Breaking Cyclic Logic Encryption. ACM Trans. Design Autom. Electr. Syst., 23(4), 2018. [doi]

Abstract

Abstract is missing.