A system, method, and computer program product for evaluating variant configuration using in-memory technology. Embodiments receive configuration data and a selection condition to be solved, bring Boolean selection condition expressions into disjunctive normal form (DNF) in memory, join concrete configuration values with the selection condition, and compare values. Embodiments aggregate the comparison results per AND-group with a minimum function, and aggregate those results per OR-group with a maximum function and output results of the selection condition for a concrete configuration. Embodiments may employ SQL Script statements. Embodiments may use conjunctive normal form (CNF) instead of DNF with corresponding aggregation ordering. Embodiments may extend the pure normal forms to enable calculations, string operations, evaluation of non-fixed-value literals, multi-valued literals, in-lists, and variant tables by translating and integrating them into the pattern of conjunctive and disjunctive aggregations. Parallelization and complexity-ordered branch evaluations are also provided.