Résolution exacte de MinSAT
Résumé
MinSAT est le problème consistant à trouver une affectation qui minimise le nombre de clauses satisfaites dans une formule CNF. Nous présentons une approche originale pour résoudre MinSAT de façon exacte, qui repose sur le codage MaxSAT et les solveurs MaxSAT. Notre étude empirique fournit la preuve que, en l'absence de spécifiques solveurs exacts pour MinSAT, l'approche générique proposée dans ce papier est compétitive.
Domaines
Intelligence artificielle [cs.AI]
Origine : Accord explicite pour ce dépôt
Loading...