IA3 min read
Intelligence Artificielle
Avant de demander à une IA de réfléchir, essayez d'abord de nettoyer son entrée
Les chercheurs du CRIL démontrent que les techniques de pré-traitement préservant le nombre de modèles accélèrent considérablement l'échantillonnage, l'énumération et les requêtes d'accès direct lorsque les formules sont compilées en circuits d-DNNF. L'étude teste 1 425 benchmarks et montre que la suppression des variables définies avec des ordres compatibles résout jusqu'à 47 instances de plus que sans pré-traitement.
2026-07-29