Core-Guided Minimal Correction Set and Core Enumeration - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nina Narodytska, Nikolaj Bjørner, Maria-Cristina Marinescu, Mooly Sagiv. Core-Guided Minimal Correction Set and Core Enumeration. In Jérôme Lang, editor, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden. pages 1353-1361, ijcai.org, 2018. [doi]

This author has not been identified. Look up 'Nina Narodytska' in GoogleThis author has not been identified. Look up 'Nikolaj Bjørner' in GoogleThis author has not been identified. Look up 'Maria-Cristina Marinescu' in GoogleThis author has not been identified. Look up 'Mooly Sagiv' in Google

runs on WebDSL