Lightweight dynamic symmetry breaking

Christopher Mears, Maria Garcia de la Banda, Bart Demoen, Mark Wallace. Lightweight dynamic symmetry breaking. Constraints, 19(3):195-242, 2014. [doi]

Abstract

Abstract is missing.