Repository navigation
Referencement SMT/Solvers (3/4) : rayon Constraint Programming x serie Search/Part2-CSP -- combler les trous de citation #19279
Description
Activity
[CLAIMED] lane myia-po-2026:CoursIA-2 -- fix/19279-cp-solver-biblio -- Referencement SMT/Solvers (3/4) : rayon Constraint Programming x Search/Part2-CSP. Combler les 3 carnets sans reference (CSP-2-CSharp, CSP-9-CSharp, CSP-9-Python) + section Dagstuhl 2019 dans README Part2-CSP. Cycle r91, suite directe de r89-r90 (#19277 Veanes, #19278 Yurichev).
- added a commit that references this issue
on Oct 6, 2026 [CLAIMED] lane myia-po-2026:CoursIA-2 -- Reprise du residuel CP apres fermeture non mergee de #19325; references verifiees, transition bibliographique, aucune cellule code ni sortie modifiee -- paths: MyIA.AI.Notebooks/Search/Part2-CSP/CSP-2-Consistency-CSharp.ipynb, MyIA.AI.Notebooks/Search/Part2-CSP/CSP-9-Distributed-CSharp.ipynb, MyIA.AI.Notebooks/Search/Part2-CSP/CSP-9-Distributed.ipynb, MyIA.AI.Notebooks/Search/Part2-CSP/README.md
(check_lane_claim #9774 -- server-stamped UTC; body timestamps are NOT authoritative. Release with
[RELEASED]when your PR lands.)[CLAIMED-AMEND] lane myia-po-2026:CoursIA-2 -- paths: MyIA.AI.Notebooks/Search/Part2-CSP/CSP-2-Consistency-CSharp.ipynb, MyIA.AI.Notebooks/Search/Part2-CSP/CSP-2-Consistency.ipynb, MyIA.AI.Notebooks/Search/Part2-CSP/CSP-3-Advanced.ipynb, MyIA.AI.Notebooks/Search/Part2-CSP/CSP-9-Distributed-CSharp.ipynb, MyIA.AI.Notebooks/Search/Part2-CSP/CSP-9-Distributed.ipynb, MyIA.AI.Notebooks/Search/Part2-CSP/README.md
Deux chemins s'ajoutent au claim d'origine :
CSP-2-Consistency.ipynb(jumeau Python du carnet C# en scope — la paire devait rester alignee) etCSP-3-Advanced.ipynb(transition bibliographique, demande 5 de l'issue). Collisions verifiees avant edition : aucune PR ouverte ne touche l'un des six chemins (159 PRs ouvertes scannees).
[DELIVERED] lane myia-po-2026:CoursIA-2 — PR #19974
Livré (markdown seul, aucune cellule de code ni sortie touchée) :
Demande de l'issue État 1. Combler les 3 fichiers sans référence CP livré — CSP-2-Consistency-CSharp(section Références, jumelle du Python),CSP-9-DistributedetCSP-9-Distributed-CSharp(socles)2. Dagstuhl 2019 dans le README (« au-delà de CP ») livré — section « Au-delà de CP : le pont CP ↔ SAT ↔ SMT » + socles au tableau des références 3. CSP-9 cite la lecture 2018 Distributed Constraint Processing livré — les deux carnets CSP-9 4. Attribution du Handbook par chapitre non livré — la table des matières de l'ouvrage n'a pas pu être consultée dans cette passe ; je n'écris pas de numéro de chapitre que je n'ai pas vérifié. Signalé au coordinateur, à traiter en grain dédié. 5. Transition amont/aval au chapitre 3 livré — note de transition Dechter → CP-SAT Primer dans CSP-3-AdvancedCorrection de fait au passage :
CSP-2-Consistencyattribuait Constraint Processing à Cambridge University Press ; l'ouvrage de Dechter paraît chez Morgan Kaufmann (Cambridge UP est l'éditeur de Principles of Constraint Programming d'Apt, 2003). Corrigé des deux côtés de la paire.Sur les attributions de l'issue. L'issue donne le CP-SAT Primer comme « Perron & Didier (Google) ». La page de l'ouvrage attribue la rédaction à Dominik Krupke (TU Braunschweig), avec des contributions de Leon Lan, Michael Perk et d'autres — ce que la série citait déjà. C'est cette attribution qui est retenue dans la PR.
Preuves : empreinte SHA-256 des cellules de code (source + sorties +
execution_count) identique avant/après sur les 5 carnets ; 44 insertions / 2 suppressions sur 6 fichiers ; exec-sequence CLEAN (GAP 0), exec-ratchet, papermill, output-failure, output-collapse, source-collapse, duplicate-sections, prose-counts, navlinks et parité jumeaux tous verts sur le commit.La clôture revient au coordinateur ou à l'adjoint (volet 4 restant).
- added a commit that references this issue
on Oct 9, 2026
Contexte
Troisième déclinaison du traitement « digestion et références » (après #13504/diffusion et les deux issues SAT-SMT sœurs) : croiser le rayon Constraint Programming du gisement avec la série
Search/Part2-CSP/(9 chapitres × 2 langues = 18 notebooks + README).Gisement :
G:\Mon Drive\MyIA\IA\Bibliographie IA\Constraint Programming\— 22 documents, dont les 4 socles :(+ voisins pertinents : Apt Principles of Constraint Programming 2003, Achterberg Constraint Integer Programming 2011, lecture Distributed Constraint Processing 2018, Hybridizing CP and ML 2021.)
Couverture mesurée dans Part2-CSP (grep par ouvrage, 19 fichiers primaires)
Fichiers sans AUCUNE référence CP :
CSP-2-Consistency-CSharp.ipynb,CSP-9-Distributed-CSharp.ipynb,CSP-9-Distributed.ipynb.Le motif est net : Dechter porte l'amont (fondamentaux, consistance), CP-SAT Primer porte l'aval (solveur, optimisation), et les deux ne se rejoignent jamais — un étudiant qui lit la série dans l'ordre change d'ouvrage de référence au chapitre 3 sans que rien ne lui dise pourquoi.
Travail demandé
Non-buts
Pas de nouveau notebook ; pas de refonte des exercices ; le référencement markdown ne touche aucune cellule code (pas de ré-exécution C.2 due si discipline respectée).