Dynamic ordering for asynchronous backtracking on DisCSPs
scientific article; zbMATH DE number 5070692