Parallelizing SAT-based de-camouflaging attacks by circuit partitioning and conflict avoiding - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xueyan Wang, Qiang Zhou 0001, Yici Cai, Gang Qu. Parallelizing SAT-based de-camouflaging attacks by circuit partitioning and conflict avoiding. Integration, 67:108-120, 2019. [doi]

This author has not been identified. Look up 'Xueyan Wang' in GoogleThis author has not been identified. Look up 'Qiang Zhou 0001' in GoogleThis author has not been identified. Look up 'Yici Cai' in GoogleThis author has not been identified. Look up 'Gang Qu' in Google

runs on WebDSL