Efficient SAT-Based Encodings of Conditional Cardinality Constraints.

Abdelhamid Boudane, Sad Jabbour, Badran Raddaoui, Lakhdar Sais

Browse the full LPAR paper archive.