Solving Boolean polynomial systems by parallelizing characteristic set method for cyber-physical systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Juan Zhao, Min Zhu, Xiaoyong Li 0002, Zhenyu Huang 0004, Jincai Li, Junqiang Song. Solving Boolean polynomial systems by parallelizing characteristic set method for cyber-physical systems. Software: Practice and Experience, 51(11):2143-2167, 2021. [doi]

This author has not been identified. Look up 'Juan Zhao' in GoogleThis author has not been identified. Look up 'Min Zhu' in GoogleThis author has not been identified. Look up 'Xiaoyong Li 0002' in GoogleThis author has not been identified. Look up 'Zhenyu Huang 0004' in GoogleThis author has not been identified. Look up 'Jincai Li' in GoogleThis author has not been identified. Look up 'Junqiang Song' in Google

runs on WebDSL