Full-Lock: Hard Distributions of SAT instances for Obfuscating Circuits using Fully Configurable Logic and Routing Blocks.

Hadi Mardani Kamali Kimia Zamiri Azar Houman Homayoun Avesta Sasan Full-Lock: Hard Distributions of SAT instances for Obfuscating Circuits using Fully Configurable Logic and Routing Blocks. 89 2019 DAC https://doi.org/10.1145/3316781.3317831 https://ieeexplore.ieee.org/document/8806854 https://www.wikidata.org/entity/Q130880056 conf/dac/2019 db/conf/dac/dac2019.html#KamaliAHS19