Inférence et certificats pour le problème de satisfiabilité maximum. (Inference and certificates for the maximum satisfiability problem)

Matthieu Py. Inférence et certificats pour le problème de satisfiabilité maximum. (Inference and certificates for the maximum satisfiability problem). PhD thesis, Aix-Marseille University, France, 2021. [doi]

Abstract

Abstract is missing.