3 citations · 9 across the 10 of their papers we have counts for
1 paper · 1 filter
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…