Proofs and Certificates for Max-SAT - Archive ouverte HAL
Poster De Conférence Année : 2023

Proofs and Certificates for Max-SAT

Fichier principal
Vignette du fichier
IJCAI_2023___Proof_And_Certificates_for_Max_SAT__Extended_Abstract_Poster.pdf (273.11 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04318075 , version 1 (01-12-2023)

Identifiants

  • HAL Id : hal-04318075 , version 1

Citer

Matthieu Py, Mohamed Sami Cherif, Djamal Habet. Proofs and Certificates for Max-SAT. International Joint Conferences on Artificial Intelligence, Aug 2023, Macao, China. ⟨hal-04318075⟩
29 Consultations
20 Téléchargements

Partager

More