SATformer: Transformer-Based UNSAT Core Learning.
Zhengyuan ShiMin LiYi LiuSadaf KhanJunhua HuangHui-Ling ZhenMingxuan YuanQiang XuPublished in: ICCAD (2023)
Keyphrases
- learning process
- learning systems
- learning scheme
- learning algorithm
- reinforcement learning
- fuzzy logic
- learning tasks
- empirical studies
- learning scenarios
- learning problems
- knowledge acquisition
- computer programming
- learning analytics
- incremental learning
- orders of magnitude
- real time
- online learning
- evolutionary algorithm
- genetic algorithm
- information retrieval
- data mining
- neural network