To
Top-k of a CNF formula
Il s’agit d’un algorithme pour énumérer les modèles Top-k d’une formule propositionnelle CNF. Un modèle Top-k est défini comme un modèle avec moins de k modèles préférés à lui par rapport à une relation de préférence. Cet algorithme est implémenté au dessus du solveur Minisat2.2.
Toute catégorie Fouille de données