kényszerfeljegyzés

Kapcsolódó fogalmak: 
kényszerkielégítési probléma (CSP)
Rövid szöveges bemutatás: 
A kényszerfeljegyzés egy segédmódszer a kényszer kielégítési problémák megoldására. A keresés során mindig végzünk mentést, amint egy újabb konzisztens hozzárendeléssel sikerül bővíteni az eddig elért eredményeket. Tehát a módszer a visszalépésben lehet segítségre, mert nem kell a feladatot teljesen előröl kezdeni jó esetben, hanem csak egy adott ideig kell visszalépni a mentéseken, majd innen folytatni a keresést. Illetve ezeket a mentett részeredményeket később előforduló ugyanilyen vagy hasonló jellegű feladat vagy részfeladat megoldására is fel lehet használni.