Parallel SAT-Solving for Product Configuration - Nils Merlin Ullmann (2021)