Engineering an Efficient Approximate DNF-Counter - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mate Soos, Divesh Aggarwal, Sourav Chakraborty 0001, Kuldeep S. Meel, Maciej Obremski. Engineering an Efficient Approximate DNF-Counter. In Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China. pages 2031-2038, ijcai.org, 2023. [doi]

This author has not been identified. Look up 'Mate Soos' in GoogleThis author has not been identified. Look up 'Divesh Aggarwal' in GoogleThis author has not been identified. Look up 'Sourav Chakraborty 0001' in GoogleThis author has not been identified. Look up 'Kuldeep S. Meel' in GoogleThis author has not been identified. Look up 'Maciej Obremski' in Google

runs on WebDSL