New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yong Lai, Dayou Liu, Minghao Yin. New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract). In Carles Sierra, editor, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017. pages 5010-5014, ijcai.org, 2017. [doi]

This author has not been identified. Look up 'Yong Lai' in GoogleThis author has not been identified. Look up 'Dayou Liu' in GoogleThis author has not been identified. Look up 'Minghao Yin' in Google

runs on WebDSL