https://123dok.net/document/yd7kr69j-improvements-computational-aspects-interval-filtering-enhanced-constraint-propagation.html