Vol-1127⫷ Vol-1128 ⫸Vol-1129
urn:nbn:de:0074-1128-0


Vol-1128/intro2⫷Vol-1128/intro3⫸Vol-1128/intro4
Christoph ZenglerRouven WalterWolfgang Küchlin

Applications of MaxSAT in Automotive Configuration