Proofs and Certificates for Max-SAT

From MaRDI portal
Publication:5870516

DOI10.1613/jair.1.13811OpenAlexW4312045335MaRDI QIDQ5870516

Matthieu Py, Mohamed Sami Cherif, Djamal Habet

Publication date: 9 January 2023

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1613/jair.1.13811





Uses Software


Cites Work


This page was built for publication: Proofs and Certificates for Max-SAT