RSat 2.0: SAT Solver Description

Abstract

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,