Abstract: Methods, computer systems and computer readable storage mediums for configuring a product based on a product model are provided. The product model has variables and rules. Each variable is associated with a set of values. The rules represent inter-dependencies among the variables and values. The variables and rules define a product configuration problem to be solved. A Decomposable And Or Graph, DAOG, is generated. The DAOG represents the product model. Subsequently, values for the variables of the product model are iteratively set based on the DAOG.

Abstract: A valid configuration of a product is determined by a computer based on a complete product model. The initial product model includes variables with associated values, and rules, wherein the variables and rules define a configuration problem to be solved. Some variables of the initial product model are defined as scope variables. Based on the selected values for scope variables the initial product model is restricted by the computer to a simplified product model. The simplified product model is employed in order to set the values of the variables not being defined as scope variables in an iterative computer-implemented process.