Publikace na Matematicko-fyzikální fakulta |
2010
Abstrakt
Studuje se otázka vynucení jisté úrovně konzistence v problémech booleovské splnitelnost. Je znovu zkoumán koncept tzv. konzistence po cestě, který je známý z programování s omezujícími podmínkami.
Jsou studovány vylepšení, které by původní konzistenci po cestě přizpůsobily problému booleovské splnitelnosti.