https://123dok.net/document/y4wmpp90-nogood-based-asynchronous-forward-checking-algorithms.html