L’extrait ci-dessous de Wikipédia n’est pas soutenu par une source fiable. Pouvez-vous en trouver une ?
Cliquez sur J’ai compris ! pour aller sur Wikipédia et corriger le fragment de code ou Suivant ! pour en voir un autre. Bonne chance !
Sur la page Problème SAT :
"La planification classique par SAT est très efficace si on connaît la longueur n du plan[réf. nécessaire]. Si cette valeur n'est pas connue, on peut chercher des plans pour une valeur incrémentale, ce qui est parfois coûteux (notamment parce que la CNF est non satisfaisable jusqu'à n – 1).
Vous pouvez personnaliser Chasse à la citation en fournissant une liste d’articles. Cela vous fournira un lien que vous pourrez partager avec d’autres pour qu’ils puissent naviguer dans Chasse à la citation en étant limités aux articles que vous avez fournis.
Comment aimeriez-vous créer un Chasse à la citation personnalisé ?
Utiliser la boîte de recherche ci-dessous pour trouver et ajouter des articles à votre Chasse à la citation personnalisé. Vous pouvez supprimer un article en cliquant dessus dans l’aperçu ci-dessous.
Veuillez entrer les titres d’article de Wikipédia à importer, un par ligne, dans la zone ci-dessous :
PetScan est un outil pour interroger Wikipedia et définir des listes d’articles. PetScan assigne des IDs aux requêtes afin que leurs résultats puissent être importés dans d’autres outils.
Veuillez créer votre requête dans PetScan et coller son identifiant ci-dessous :
Pagepile est un outil permettant de définir des listes d'articles Wikipédia. Pagepile attribue des identifiants aux listes afin que leurs résultats puissent être importés dans d'autres outils.
Veuillez créer votre liste dans Pagepile et coller son identifiant ci-dessous :
Veuillez patienter, votre Chasse à la citation personnalisé est en train d’être calculé. Cela peut prendre quelques minutes...
Vous pouvez appuyer sur Retour ou fermer cette boîte de dialogue pour annuler.
Votre Chasse à la citation personnalisé a été créé !
Vous pouvez copier et partager le lien ci-dessus pour permettre à d’autres personnes de l’utiliser ou pour le consulter maintenant !
Désolé, votre personnalisation de Chasse à la citation a échoué lors de sa création ou s’est avérée vide !
Veuillez réessayer et garder à l’esprit les recommandations suivantes :