The complexity of CAD is doubly exponential in the number of variables.
Η πολυπλοκότητα του CAD είναι διπλά εκθετική στον αριθμό των μεταβλητών.