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) |
---|