异步弱授权回溯算法

• asynchronous weak-commitment backtracking