Feng Lu Madhu K. Iyer Ganapathy Parthasarathy Li-C. Wang Kwang-Ting Cheng Kuang-Chien Chen An Efficient Sequential SAT Solver With Improved Search Strategies. 1102-1107 2005 conf/date/2005 DATE http://doi.ieeecomputersociety.org/10.1109/DATE.2005.55 db/conf/date/date2005.html#LuIPWCC05