Roie Zivan Moshe Zazone Amnon Meisels Min-domain retroactive ordering for Asynchronous Backtracking. 177-198 2009 14 Constraints 2 http://dx.doi.org/10.1007/s10601-008-9046-z db/journals/constraints/constraints14.html#ZivanZM09