HaifaSat: A New Robust SAT Solver. - Roman Gershman; Ofer Strichman (Haifa Verification Conference, 2005)

Cost-Effective Hyper-Resolution for Preprocessing CNF Formulas. - Roman Gershman; Ofer Strichman (SAT, 2005)

Deriving Small Unsatisfiable Cores with Dominators. - Roman Gershman; Maya Koifman; Ofer Strichman (CAV, 2006)

An approach for extracting a small unsatisfiable core. - Roman Gershman; Maya Koifman; Ofer Strichman (Formal Methods Syst. Des., 2008)

HaifaSat: a SAT solver based on an Abstraction/Refinement model. - Roman Gershman; Ofer Strichman (J. Satisf. Boolean Model. Comput., 2009)