Explaining circuit propagation DOI: 10.1007/s10601-013-9148-0 AuthorsKathryn Glenn Francis, Peter J. Stuckey Constraints 19(1), January 2014 Publication dateWednesday, January 1, 2014 - 12:00