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.