RSat 2.0: SAT Solver Description
Knot Pipatsrisawat, Adnan Y. Darwiche · 2006
RSat 2.0 is a DPLL-based complete SAT solver that employs many modern techniques such as those used in MiniSat [3] and Chaff [8]. RSat 2.0 is an improved version of RSat [10], which won the third place in the SAT-Race 2006 competition [11]. While RSat 2.0 is designed to perform best on industrial SAT instances,