https://123dok.com/id/docs/asynchronous-backtracking-algorithm-for-analysis-of.10373497