Proofs and Certificates for Max-SAT
Domaines
Intelligence artificielle [cs.AI]
Fichier principal
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)