Roie Zivan Amnon Meisels Dynamic Ordering for Asynchronous Backtracking on DisCSPs. 179-197 2006 11 Constraints 2-3 http://dx.doi.org/10.1007/s10601-006-8062-0 db/journals/constraints/constraints11.html#ZivanM06