Efficient reachability checking using sequential SAT.

Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting Cheng, Li-C. Wang

Browse the full ASPDAC paper archive.