External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Proofs and Certificates for Max-SAT

Matthieu Py, Mohamed Sami Cherif, Djamal Habet. Proofs and Certificates for Max-SAT. J. Artif. Intell. Res. (JAIR), 75:1373-1400, 2022. [doi]

Authors

Matthieu Py

This author has not been identified. Look up 'Matthieu Py' in Google

Mohamed Sami Cherif

This author has not been identified. Look up 'Mohamed Sami Cherif' in Google

Djamal Habet

This author has not been identified. Look up 'Djamal Habet' in Google
runs on