3 citations · 6 across the 7 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.AI2014
On the measure of conflicts: A MUS-Decomposition Based Framework
Said Jabbour, Yue Ma, Badran Raddaoui +2
Measuring inconsistency is viewed as an important issue related to handling inconsistencies. Good measures are supposed to satisfy a set of rational properties. However, defining s…
cs.AI2014
Revisiting the Learned Clauses Database Reduction Strategies
Said Jabbour, Jerry Lonlac, Lakhdar Sais +1
In this paper, we revisit an important issue of CDCL-based SAT solvers, namely the learned clauses database management policies. Our motivation takes its source from a simple obser…