An Efficient SAT-Attack Algorithm Against Logic Encryption.
Yusuke MatsunagaMasayoshi YoshimuraPublished in: IOLTS (2019)
Keyphrases
- dynamic programming
- learning algorithm
- computationally efficient
- optimal solution
- np hard
- neural network
- matching algorithm
- preprocessing
- k means
- computational cost
- optimization algorithm
- particle swarm optimization
- computational complexity
- randomly generated
- detection algorithm
- probabilistic model
- objective function
- similarity measure
- genetic algorithm