Publikace na Matematicko-fyzikální fakulta |
2010
Abstrakt
Koncept konzistence po cestě známý z programování s omezujícími podmínkami je adaptován pro booleovskou splnitelnost. Adaptace spočívá ve zvýšení inferenční síly konzistence na literálovém kódování problému SAT.