https://123dok.net/document/q7w4repn-a-box-consistency-contractor-based-on-extremal-functions.html