Local-Search Techniques for Propositional Logic Extended with Cardinality Constraints.

Lengning Liu, Miroslaw Truszczynski

Browse the full CP paper archive.