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

Open in new window