Proofs and Certificates for Max-SAT (Extended Abstract) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Matthieu Py, Mohamed Sami Cherif, Djamal Habet. Proofs and Certificates for Max-SAT (Extended Abstract). In Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China. pages 6942-6947, ijcai.org, 2023. [doi]

This author has not been identified. Look up 'Matthieu Py' in GoogleThis author has not been identified. Look up 'Mohamed Sami Cherif' in GoogleThis author has not been identified. Look up 'Djamal Habet' in Google

runs on WebDSL