TY  - RPRT
TI  - Local-search techniques for propositional logic extended with cardinality constraints
AU  - Lengning Liu
AU  - Miroslaw Truszczynski
PY  - 2003
UR  - https://arxiv.org/abs/cs/0310061
ID  - cs/0310061
ER  -