Vol-2944⫷ Vol-2945 ⫸Vol-2946
urn:nbn:de:0074-2945-0


Vol-2945/22-SPE-ConfWS21_paper_11⫷Vol-2945/23-JW-ConfWS21_paper_15⫸Vol-2945/31-AC-ConfWS21_paper_18-v2
Johannes WernerMarkus IserMichael KleinTomás Balyo

Fast Approximate Calculation of Valid Domains in a Satisfiability-based Product Configurator