A dynamic extension of the asynchronous weak-commitment search algorithm | IEEE Conference Publication | IEEE Xplore