1. A computer-implemented method of configuring a product based on an initial product model, the initial product model comprising variables, wherein each variable is associated with a set of values, and wherein at least one of the variables is defined as a scope variable, and a rules representing inter-dependencies among the variables and values, wherein the variables and rules define a product configuration problem to be solved, the method comprising a computer restricting the initial product model based on one set value from the set of values of the at least one scope variable resulting in a remaining simplified product model, iteratively setting values for other variables not being scope variables based on the simplified product model.