Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint.

Nadia Creignou, Henning Schnoor, Ilka Schnoor

Browse the full CSL paper archive.