| |
| 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 |
| 1 | Maya Koifman | [3] [4] |
| 2 | Ofer Strichman | [1] [2] [3] [4] |