Abstrakt
Zabýváme se problémem vynucení jistého stupně konzistence v problémech booleovské splnitelnosti. Jako počáteční bod jsme zvolili konzistenci po cestě, kteou jsme se pokusili zesílit pomocí více restriktivní podmínky na cesty spojující dvojice konzistentních hodnot.