DiffSAT: Differential MaxSAT Layer for SAT Solving.

Yu Zhang, Hui-Ling Zhen, Mingxuan Yuan, Bei Yu

Browse the full ICCAD paper archive.