Reducing the size of resolution proofs in linear time - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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. [doi]

This author has not been identified. Look up 'Omer Bar-Ilan' in GoogleThis author has not been identified. Look up 'Oded Fuhrmann' in GoogleThis author has not been identified. Look up 'Shlomo Hoory' in GoogleThis author has not been identified. Look up 'Ohad Shacham' in GoogleThis author has not been identified. Look up 'Ofer Strichman' in Google

runs on WebDSL