Sean Safarpour Andreas G. Veneris Hratch Mangassarian Trace Compaction using SAT-based Reachability Analysis. 932-937 2007 conf/aspdac/2007 ASP-DAC http://doi.ieeecomputersociety.org/10.1109/ASPDAC.2007.358109 db/conf/aspdac/aspdac2007.html#SafarpourVM07