Oded Fuhrmann

According to our database, Oded Fuhrmann authored at least 3 papers between 2008 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2011

Reducing the size of resolution proofs in linear time.

Omer Bar-Ilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham, Ofer Strichman

Int. J. Softw. Tools Technol. Transf., 2011

2009

On Extending Bounded Proofs to Inductive Proofs.

Oded Fuhrmann, Shlomo Hoory

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Linear-Time Reductions of Resolution Proofs.

Omer Bar-Ilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham, Ofer Strichman

Proceedings of the Hardware and Software: Verification and Testing, 2008