A Unified Framework for DPLL(T) + Certificates - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun. A Unified Framework for DPLL(T) + Certificates. J. Applied Mathematics, 2013, 2013. [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. It may be one of the following persons:

Bow-Yaw Wang

Look up 'Bow-Yaw Wang' in GoogleThis author has not been identified. Look up 'Ming Gu' in GoogleThis author has not been identified. Look up 'Jiaguang Sun' in Google

runs on WebDSL