Oded Fuhrmann

	2011
3		Omer Bar-Ilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham, Ofer Strichman: Reducing the size of resolution proofs in linear time. STTT 13(3): 263-272 (2011)
	2009
2		Oded Fuhrmann, Shlomo Hoory: On Extending Bounded Proofs to Inductive Proofs. CAV 2009: 278-290
	2008
1		Omer Bar-Ilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham, Ofer Strichman: Linear-Time Reductions of Resolution Proofs. Haifa Verification Conference 2008: 114-128

Coauthor Index

1	Omer Bar-Ilan	[1] [3]
2	Shlomo Hoory	[1] [2] [3]
3	Ohad Shacham	[1] [3]
4	Ofer Strichman	[1] [3]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page