Reevaluating Graph-Neural-Network-Based Runtime Prediction of SAT-Based Circuit Deobfuscation.
Guangwei ZhaoKaveh ShamsiPublished in: Cryptogr. (2022)
Keyphrases
- prediction accuracy
- neural network
- circuit design
- prediction algorithm
- random walk
- prediction model
- version space
- graph theory
- graph representation
- directed graph
- graph matching
- graph structure
- weighted graph
- prediction error
- artificial neural networks
- ai planning
- answer set programming
- directed acyclic graph
- answer sets
- bipartite graph
- connected components
- high speed
- search space
- bounded model checking