Complexity of the ATMS
ATMS is very efficient. It works well even with a large number of assumptions (for example 1000, where the explored space is of size 2 ).
This is obtained through several fatures of the representation utilized, such as:
by the structure of the environment lattice, which assures that a node associated to an environment is also associated to all other superset environments;
by the minimality of the label;
by the consistency requirements (nogoods are discarded);
only labels (not contexts) are computed.