%0 Journal Article %1 journals/tplp/AlbertiGLMM05 %A Alberti, Marco %A Gavanelli, Marco %A Lamma, Evelina %A Mello, Paola %A Milano, Michela %D 2005 %J Theory Pract. Log. Program. %K dblp %N 4-5 %P 419-440 %T A CHR-based implementation of known arc-consistency. %U http://dblp.uni-trier.de/db/journals/tplp/tplp5.html#AlbertiGLMM05 %V 5

@article{journals/tplp/AlbertiGLMM05, added-at = {2020-02-13T00:00:00.000+0100}, author = {Alberti, Marco and Gavanelli, Marco and Lamma, Evelina and Mello, Paola and Milano, Michela}, biburl = {https://www.bibsonomy.org/bibtex/25a1e92c6c7edf5ac3a855c467fb43b93/dblp}, ee = {https://doi.org/10.1017/S147106840500236X}, interhash = {ee75fe4bd495cce940ae8e77417a0293}, intrahash = {5a1e92c6c7edf5ac3a855c467fb43b93}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = {4-5}, pages = {419-440}, timestamp = {2020-02-14T11:43:39.000+0100}, title = {A CHR-based implementation of known arc-consistency.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp5.html#AlbertiGLMM05}, volume = 5, year = 2005 }