Classifying and Propagating Parity Constraints (2012)
Laitinen Tero , Junttila Tommi , Niemelä Ilkka