Neng-Fa Zhou. Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC. In Patricia M. Hill, David Scott Warren, editors, Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings. Volume 5649 of Lecture Notes in Computer Science, pages 402-416, Springer, 2009. [doi]
@inproceedings{Zhou09-5,
title = {Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC},
author = {Neng-Fa Zhou},
year = {2009},
doi = {10.1007/978-3-642-02846-5_33},
url = {http://dx.doi.org/10.1007/978-3-642-02846-5_33},
tags = {rule-based, constraints},
researchr = {https://researchr.org/publication/Zhou09-5},
cites = {0},
citedby = {0},
pages = {402-416},
booktitle = {Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings},
editor = {Patricia M. Hill and David Scott Warren},
volume = {5649},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-02845-8},
}