Parallelizing a SAT-Based Product Configurator. - Nils Merlin Ullmann; Tomás Balyo; Michael Klein (CP, 2021)