1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.AI2019★ 1 cited
Extracting Frequent Gradual Patterns Using Constraints Modeling
Jerry Lonlac, Saïdd Jabbour, Engelbert Mephu Nguifo +2
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…
cs.AI2018
Efficient Encodings of Conditional Cardinality Constraints
Abdelhamid Boudane, Said Jabbour, Badran Raddaoui +1
In the encoding of many real-world problems to propositional satisfiability, the cardinality constraint is a recurrent constraint that needs to be managed effectively. Several effi…