Witteveen, C.; Wilson, M.; Klos, T. Optimal Decoupling in Linear Constraint Systems. AAAI 2014, 28.