TY - GEN
T1 - An efficient sequential SAT solver with improved search strategies
AU - Lu, F.
AU - Iyer, M. K.
AU - Parthasarathy, G.
AU - Wang, L. C.
AU - Cheng, K. T.
AU - Chen, K. C.
PY - 2005
Y1 - 2005
N2 - A sequential SAT solver Satori [I] was recently proposed as an alternative to combinational SAT in verification applications. This paper describes the design of Seq-SAT - an efficient sequential SAT solver with improved search strategies over Satori. The major improvements include (1) a new and better heuristic for minimizing the set of assignments to state variables, (2) a new priority-based search strategy and a flexible sequential search framework which integrates different search strategies, and (3) a decision variable selection heuristic more suitable for solving the sequential problems. We present experimental results to demonstrate that our sequential SAT solver can achieve orders-of-magnitude speedup over Satori, We plan to release the source code of Seq-SAT along with this paper.
AB - A sequential SAT solver Satori [I] was recently proposed as an alternative to combinational SAT in verification applications. This paper describes the design of Seq-SAT - an efficient sequential SAT solver with improved search strategies over Satori. The major improvements include (1) a new and better heuristic for minimizing the set of assignments to state variables, (2) a new priority-based search strategy and a flexible sequential search framework which integrates different search strategies, and (3) a decision variable selection heuristic more suitable for solving the sequential problems. We present experimental results to demonstrate that our sequential SAT solver can achieve orders-of-magnitude speedup over Satori, We plan to release the source code of Seq-SAT along with this paper.
UR - https://www.webofscience.com/wos/woscc/full-record/WOS:000228086900218
UR - https://openalex.org/W2102945171
UR - https://www.scopus.com/pages/publications/33646944389
U2 - 10.1109/DATE.2005.55
DO - 10.1109/DATE.2005.55
M3 - Conference Paper published in a book
SN - 0769522882
SN - 9780769522883
T3 - Proceedings -Design, Automation and Test in Europe, DATE '05
SP - 1102
EP - 1107
BT - Proceedings - Design, Automation and Test in Europe, DATE '05
T2 - Design, Automation and Test in Europe, DATE '05
Y2 - 7 March 2005 through 11 March 2005
ER -