SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints
Domaines
Intelligence artificielle [cs.AI]
Origine : Fichiers produits par l'(les) auteur(s)