Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Stephan Gocht, Ruben Martins, Jakob Nordström, Andy Oertel. Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract). In Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China. pages 6436-6441, ijcai.org, 2023. [doi]

This author has not been identified. Look up 'Stephan Gocht' in GoogleThis author has not been identified. Look up 'Ruben Martins' in GoogleThis author has not been identified. Look up 'Jakob Nordström' in GoogleThis author has not been identified. Look up 'Andy Oertel' in Google

runs on WebDSL