A Proof Builder for Max-SAT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Matthieu Py, Mohamed Sami Cherif, Djamal Habet. A Proof Builder for Max-SAT. In Chu Min Li, Felip Manyà, editors, Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings. Volume 12831 of Lecture Notes in Computer Science, pages 488-498, Springer, 2021. [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