2019/03/20 by Jerry Lonlac, Saïdd Jabbour, Lonlac, Jerry +7
Computer Science · #Advanced Database Systems and Queries #Artificial Intelligence (cs.AI) #Data Management and Algorithms #Data Mining Algorithms and Applications #FOS: Computer and information sciences
paper · pdf · doi:10.48550/arxiv.1903.08452
openalex publication_date 2019/03/20 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In this paper, we propose a constraint-based modeling approach for the problem of discovering frequent gradual patterns in a numerical dataset. This SAT-based declarative approach offers an additional possibility to benefit from the recent progress in satisfiability testing and to exploit the efficiency of modern SAT solvers for enumerating all frequent gradual patterns in a numerical dataset. Our approach can easily be extended with extra constraints, such as temporal constraints in order to extract more specific patterns in a broad range of gradual patterns mining applications. We show the practical feasibility of our SAT model by running experiments on two real world datasets.