Daniel Le Berre Anne Parrain On SAT Technologies for Dependency Management and Beyond. 197-200 2008 SPLC (2) conf/splc/2008w db/conf/splc/splc2008w.html#BerreP08