Nina Amla Xiaoqun Du Andreas Kuehlmann Robert P. Kurshan Kenneth L. McMillan An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment. 254-268 2005 conf/charme/2005 CHARME http://dx.doi.org/10.1007/11560548_20 db/conf/charme/charme2005.html#AmlaDKKM05