SATORI - A Fast Sequential SAT Engine for Circuits.

Madhu K. Iyer, Ganapathy Parthasarathy, Kwang-Ting Cheng

Browse the full ICCAD paper archive.