%0 Journal Article %1 journals/corr/cs-AI-0310061 %A Liu, Lengning %A Truszczynski, Miroslaw %D 2003 %J CoRR %K dblp %T Local-search techniques for propositional logic extended with cardinality constraints %U http://dblp.uni-trier.de/db/journals/corr/corr0310.html#cs-AI-0310061 %V cs.AI/0310061

@article{journals/corr/cs-AI-0310061, added-at = {2020-01-10T00:00:00.000+0100}, author = {Liu, Lengning and Truszczynski, Miroslaw}, biburl = {https://www.bibsonomy.org/bibtex/2bf3bccc2fa7e01d79fff3c53633b3163/dblp}, ee = {http://arxiv.org/abs/cs/0310061}, interhash = {6e6a60023317f66213bf11cf62f6a31b}, intrahash = {bf3bccc2fa7e01d79fff3c53633b3163}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-01-11T11:42:45.000+0100}, title = {Local-search techniques for propositional logic extended with cardinality constraints}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0310.html#cs-AI-0310061}, volume = {cs.AI/0310061}, year = 2003 }