Efficient SAT-Based Encodings of Conditional Cardinality Constraints

By Abdelhamid Boudane, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais. 2018

8 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics, Computer Networks and Communications

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Alexander B. Jung
2. Riku Sarlin
3. Henrik E. C. Cao

Citations in the corpus

• Learning Explainable Decision Rules via Maximum Satisfiability (2020, methodology): “For efficient encoding of these cardinality constraints, we make use of the following encoding developed in [21]: In practice, writing the clauses D i in CNF for negative examples ( y i = 0) is less straightforward.”