DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction.
Guangyu HuJianheng TangChangyuan YuWei ZhangHongce ZhangPublished in: ASPDAC (2024)
Keyphrases
- neural network
- data structure
- computationally efficient
- computational complexity
- significant improvement
- prediction algorithm
- computational cost
- directed graph
- learning algorithm
- artificial neural networks
- random walk
- orders of magnitude
- prediction error
- graph properties
- partitioning algorithm
- graph theory
- prediction accuracy
- genetic algorithm