An efficient sequential SAT solver with improved search strategies (0)

by F Lu, M K Iyer, G Parthasarathy, K-T Cheng, K C Chen
Venue:Proc. DATE’05