Model Explosion

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A phenomenon in formal specification and logic where the number, size, or structural complexity of satisfying models grows very rapidly (often combinatorially or exponentially) as input size, vocabulary, or constraints change slightly.