An Efficient SAT-Attack Algorithm Against Logic Encryption.

Yusuke Matsunaga, Masayoshi Yoshimura

Browse the full IOLTS paper archive.