Karim Boutaleb Philippe Jégou Cyril Terrioux (No)good Recording and ROBDDs for Solving Structured (V)CSPs. 297-304 2006 conf/ictai/2006 ICTAI http://doi.ieeecomputersociety.org/10.1109/ICTAI.2006.1 db/conf/ictai/ictai2006.html#BoutalebJT06