2 citations · 4 across the 3 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
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.AI2017★ 2 cited
Towards Learned Clauses Database Reduction Strategies Based on Dominance Relationship
Jerry Lonlac, Engelbert Mephu Nguifo
Clause Learning is one of the most important components of a conflict driven clause learning (CDCL) SAT solver that is effective on industrial instances. Since the number of learne…