4 citations · 14 across the 10 of their papers we have counts for
1 paper · 2 filters
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…