Author:
Andrade Fabricio Vivas,Silva Leandro M.,Fernandes Antonio O.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Satisfiability Based Attacks;Split Manufacturing of Integrated Circuits for Hardware Security and Trust;2021
2. SAT Based Fitness Scoring for Digital Circuit Evolution;Journal of Circuits, Systems and Computers;2018-02-22
3. Formal verification of candidate solutions for post-synthesis evolutionary optimization in evolvable hardware;Genetic Programming and Evolvable Machines;2011-03-13