Transformer-based Machine Learning for Fast SAT Solvers and Logic Synthesis.
Feng ShiChonghan LeeMohammad Khairul BasharNikhil ShuklaSong-Chun ZhuVijaykrishnan NarayananPublished in: CoRR (2021)
Keyphrases
- sat solvers
- logic synthesis
- machine learning
- inductive learning
- orders of magnitude
- constraint satisfaction
- heuristic search
- sat instances
- search strategies
- sat solving
- search space
- multi valued
- sat problem
- max sat
- propositional satisfiability
- boolean satisfiability
- learning algorithm
- sat encodings
- reinforcement learning
- weighted max sat
- knowledge acquisition
- artificial intelligence
- clause learning
- quantum computing
- clause learning sat solvers
- randomly generated
- mobile devices