CAISE'25-Research-Track

This tag contains the laboratory package for the paper Taming Complexity: Automated Analysis of Intelligent Pricings, which includes scripts and MiniZinc models to replicate the validation performed in the study. Driven by the paper's main contribution, the primary goal of this package is to leverage the proposed automated analysis formalization and operations, among others, to uncover latent information in SaaS pricing models.

WEBSOACS'24

DOCS: ADDED SOME COMMENTS

ICSOC'24-Research_Track

docs: update README.md