Abstract Cores in Implicit Hitting Set MaxSat Solving (Extended Abstract) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jeremias Berg, Fahiem Bacchus, Alex Poole. Abstract Cores in Implicit Hitting Set MaxSat Solving (Extended Abstract). In Zhi-Hua Zhou, editor, Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021. pages 4745-4749, ijcai.org, 2021. [doi]

This author has not been identified. Look up 'Jeremias Berg' in GoogleThis author has not been identified. Look up 'Fahiem Bacchus' in GoogleThis author has not been identified. Look up 'Alex Poole' in Google

runs on WebDSL