(No)good Recording and ROBDDs for Solving Structured (V)CSPs. - Karim Boutaleb; Philippe Jégou; Cyril Terrioux (ICTAI, 2006)