Towards Bridging the Gap Between SAT and Max-SAT Refutations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Matthieu Py, Mohamed Sami Cherif, Djamal Habet. Towards Bridging the Gap Between SAT and Max-SAT Refutations. In 32nd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2020, Baltimore, MD, USA, November 9-11, 2020. pages 137-144, IEEE, 2020. [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