Nonuniform boolean constraint satisfaction problems with cardinality constraint (0)

by N Creignou, H Schnoor, I Schnoor
Venue:ACM Trans. Comput. Log