Produktkonfiguration und SAT-Solving

  • Carsten Sinz (Speaker)

Activity: Talk or presentation › Invited talk › unknown

Period15 Mar 2006
Event titleOpening workshop Variablitätsmodellierung und Produktkonfiguration of the Christian Doppler Laboratory for Automated Software Engineering
Event typeOther
LocationAustriaShow on map

Fields of science

  • 102 Computer Sciences