| |
| 2008 | ||
|---|---|---|
| 2 | 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 | ||
| 1 | EE | Roman Gershman, Maya Koifman, Ofer Strichman: Deriving Small Unsatisfiable Cores with Dominators. CAV 2006: 109-122 |
| 1 | Roman Gershman | [1] [2] |
| 2 | Ofer Strichman | [1] [2] |