SATformer: Transformer-Based UNSAT Core Learning

2 September 2022

Yi Liu

Papers citing "SATformer: Transformer-Based UNSAT Core Learning"

1 / 1 papers shown

Title
Transformer-based Machine Learning for Fast SAT Solvers and Logic Synthesis Feng Shi Chonghan Lee M. K. Bashar N. Shukla Song-Chun Zhu N. Vijaykrishnan NAI LRM 31 12 0 15 Jul 2021