Roie Zivan Moshe Zazone Amnon Meisels Min-Domain Ordering for Asynchronous Backtracking. 758-772 2007 conf/cp/2007 CP http://dx.doi.org/10.1007/978-3-540-74970-7_53 db/conf/cp/cp2007.html#ZivanZM07