Daniel Le Berre, Anne Parrain. On SAT Technologies for Dependency Management and Beyond. In Steffen Thiel, Klaus Pohl, editors, Software Product Lines, 12th International Conference, SPLC 2008, Limerick, Ireland, September 8-12, 2008, Proceedings. Second Volume (Workshops). pages 197-200, Lero Int. Science Centre, University of Limerick, Ireland, 2008.
Abstract is missing.