Spacetime sweeping: an interactive dynamic constraints solver | IEEE Conference Publication | IEEE Xplore