Artificial Intelligence / AI 0189 · Atom · ~20 seconds
Elimination Is Safe
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
State
Propagation deletes only values that appear in no solution — every deletion is a small proof, so nothing legal is ever lost.
Show
A value with no legal partner under some constraint cannot appear in any assignment that satisfies everything; striking it costs nothing.
Watch for
Safety belongs to the deletions, not the translation — a wrong constraint proves wrong things efficiently.