| |
| * | 2009 | |
|---|---|---|
| 2 | EE | Oded Fuhrmann, Shlomo Hoory: On Extending Bounded Proofs to Inductive Proofs. CAV 2009: 278-290 |
| 2008 | ||
| 1 | EE | Omer Bar-Ilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham, Ofer Strichman: Linear-Time Reductions of Resolution Proofs. Haifa Verification Conference 2008: 114-128 |
| 1 | Omer Bar-Ilan | [1] |
| 2 | Shlomo Hoory | [1] [2] |
| 3 | Ohad Shacham | [1] |
| 4 | Ofer Strichman | [1] |