Transformer-based Machine Learning for Fast SAT Solvers and Logic Synthesis

Feng Shi, Chonghan Lee, Mohammad Khairul Bashar +3

CNF-based SAT and MaxSAT solvers are central to logic synthesis and verification systems. The increasing popularity of these constraint problems in electronic design automation enc…