| 2008 |
|---|
| 4 | EE | Roman Gershman,
Maya Koifman,
Ofer Strichman:
An approach for extracting a small unsatisfiable core.
Formal Methods in System Design 33(1-3): 1-27 (2008) |
| 2006 |
|---|
| 3 | EE | Roman Gershman,
Maya Koifman,
Ofer Strichman:
Deriving Small Unsatisfiable Cores with Dominators.
CAV 2006: 109-122 |
| 2005 |
|---|
| 2 | EE | Roman Gershman,
Ofer Strichman:
HaifaSat: A New Robust SAT Solver.
Haifa Verification Conference 2005: 76-89 |
| 1 | EE | Roman Gershman,
Ofer Strichman:
Cost-Effective Hyper-Resolution for Preprocessing CNF Formulas.
SAT 2005: 423-429 |
