bináris kényszer

Kapcsolódó fogalmak: 
kényszerkielégítési probléma (CSP)
Rövid szöveges bemutatás: 
Sokszor fordul elő olyan feladat, amelyben egy változó értékére megkötést kell tennünk, hogy mely értékeket bizonyosan nem vehet fel, ezzel gyorsítva a feladat végrehajtását. Az olyan megkötéseket melyek két változóra egyidejűleg vonatkoznak, bináris kényszernek nevezünk. Például X != Y. Ekkor az algoritmus a futás során meg sem vizsgálja azokat az eseteket mikor X = Y.