Fichier:Backjump-collect.svg
Aller à la navigation
Aller à la recherche
Taille de cet aperçu PNG pour ce fichier SVG : 324 × 189 pixels. Autres résolutions : 320 × 187 pixels | 640 × 373 pixels | 1 024 × 597 pixels | 1 280 × 747 pixels | 2 560 × 1 493 pixels.
Fichier d’origine (Fichier SVG, nominalement de 324 × 189 pixels, taille : 13 kio)
Description
| Description | Backjumping can be done by collecting, in each node, all variables that are sufficient to prove inconsistency in all leaves of its subtree. This collection is removed the variable of the node and sent to the parent, or ancestor if backjumping. |
| Date | 20 février 2006 (date de téléversement originale) |
| Source | La source n’a pas pu être reconnue automatiquement. « Travail personnel » supposé (étant donné la revendication de droit d’auteur). |
| Auteur | L’auteur n’a pas pu être identifié automatiquement. Il est supposé qu'il s'agit de : Tizio (étant donné la revendication de droit d’auteur). |
Conditions d’utilisation
|
Moi, propriétaire des droits d’auteur sur cette œuvre, la place dans le domaine public. Ceci s'applique dans le monde entier. Dans certains pays, ceci peut ne pas être possible ; dans ce cas : J’accorde à toute personne le droit d’utiliser cette œuvre dans n’importe quel but, sans aucune condition, sauf celles requises par la loi. |
Historique du fichier
Cliquer sur une date et heure pour voir le fichier tel qu'il était à ce moment-là.
| Date et heure | Vignette | Dimensions | Utilisateur | Commentaire | |
|---|---|---|---|---|---|
| actuel | 20 février 2006 à 19:34 | | 324 × 189 (13 kio) | wikimediacommons>Tizio | White background + gold lines instead of dashed |
Utilisation du fichier
La page suivante utilise ce fichier :
