Skip to content

Parallelizing a SAT-Based Product Configurator.

Nils Merlin Ullmann, Toms Balyo, Michael Klein

VenueACP
Year2021
ProceedingsCP

Browse the full CP paper archive.