 |
Communication dans un congrès
From Declarative Set Constraint Models to “Good” SAT Instances
Abstract :
On the one hand, Constraint Satisfaction Problems allow one to declaratively model problems. On the other hand, propositional satisfiability problem (SAT) solvers can handle huge SAT instances. We thus present a technique to declaratively model set constraint problems, to reduce them, and to encode them into ”good” SAT instances. We illustrate our technique on the well-known nqueens problem. Our technique is simpler, more expressive, and less error-prone than direct hand modeling. The SAT instances that we automatically generate are rather small w.r.t. hand-written instances.
https://hal.univ-angers.fr/hal-03352573
Contributeur : Okina Univ Angers Connectez-vous pour contacter le contributeur
Soumis le : mercredi 13 octobre 2021 - 10:46:21
Dernière modification le : mercredi 20 octobre 2021 - 03:19:09
Archivage à long terme le : : vendredi 14 janvier 2022 - 18:41:21
Contributeur : Okina Univ Angers Connectez-vous pour contacter le contributeur
Soumis le : mercredi 13 octobre 2021 - 10:46:21
Dernière modification le : mercredi 20 octobre 2021 - 03:19:09
Archivage à long terme le : : vendredi 14 janvier 2022 - 18:41:21
Fichier
aisc2014.pdf
Fichiers produits par l'(les) auteur(s)