![]() | ![]() |
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] |
3 | Ohad Shacham | [1] |
4 | Ofer Strichman | [1] |