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…