An Efficient Sequential SAT Solver With Improved Search Strategies.

Feng Lu, Madhu K. Iyer, Ganapathy Parthasarathy, Li-C. Wang, Kwang-Ting Cheng, Kuang-Chien Chen

Browse the full DATE paper archive.