https://9pdf.info/document/z3dojwlm-jakubkottnauer-heuristikypropropagaciintervalů-bakalářskápráce.html