HaifaSat: A New Robust SAT Solver

Abstract. HaifaSat is a new SAT solver that is based on a new decision heuristic called Clause-Move-To-Front (CMTF), a new resolutionbased scoring strategy and many other improvements. Experiments on hundreds of industrial benchmarks show that HaifaSat is faster and more robust than other well known solvers like zChaff 2004 and Berkmin.

• Type: Conference
• Year: 2005
• Where: HVC
• Authors: Roman Gershman, Ofer Strichman
• Keywords: Heuristic, HVC 2005, Industrial Benchmarks