Algorithmic Contributions to the Qualitative Analysis