An Efficient Resolution Based Algorithm for SAT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Min Zhou, Fei He, Ming Gu. An Efficient Resolution Based Algorithm for SAT. In Zhenhua Duan, C.-H. Luke Ong, editors, 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, China, 29-31 August 2011. pages 60-67, IEEE Computer Society, 2011. [doi]

This author has not been identified. Look up 'Min Zhou' in GoogleThis author has not been identified. Look up 'Fei He' in GoogleThis author has not been identified. Look up 'Ming Gu' in Google

runs on WebDSL