%0 Journal Article %1 journals/corr/cs-AI-0003080 %A Apt, Krzysztof R. %D 2000 %J CoRR %K dblp %T Some Remarks on Boolean Constraint Propagation %U http://dblp.uni-trier.de/db/journals/corr/corr0003.html#cs-AI-0003080 %V cs.AI/0003080

@article{journals/corr/cs-AI-0003080, added-at = {2020-01-10T00:00:00.000+0100}, author = {Apt, Krzysztof R.}, biburl = {https://www.bibsonomy.org/bibtex/2429a6ca6b8e55bae8f10e0fccd314829/dblp}, ee = {https://arxiv.org/abs/cs/0003080}, interhash = {e3111f693a0e6fa962d88a613970d077}, intrahash = {429a6ca6b8e55bae8f10e0fccd314829}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-01-11T11:42:35.000+0100}, title = {Some Remarks on Boolean Constraint Propagation}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0003.html#cs-AI-0003080}, volume = {cs.AI/0003080}, year = 2000 }