A Circuit-Based SAT Solver for Logic Synthesis.

He-Teng Zhang, Jie-Hong R. Jiang, Alan Mishchenko

Browse the full ICCAD paper archive.