Oded Fuhrmann

Publication Activity (10 Years)

Years Active: 2008-2011
Publications (10 Years): 0

Publications

Omer Bar-Ilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham, Ofer Strichman
Reducing the size of resolution proofs in linear time. Int. J. Softw. Tools Technol. Transf. 13 (3) (2011)
Oded Fuhrmann, Shlomo Hoory
On Extending Bounded Proofs to Inductive Proofs. CAV (2009)
Omer Bar-Ilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham, Ofer Strichman
Linear-Time Reductions of Resolution Proofs. Haifa Verification Conference (2008)