ML Anthology

Efficient and Complete FD-Solving for Extended Array Constraints

Quentin Plazar, Mathieu Acher, Sébastien Bardin, Arnaud Gotlieb
IJCAI 2017 pp. 1231-1238
doi:10.24963/IJCAI.2017/171 /ijcai/2017/plazar2017ijcai-efficient/
PDF IJCAI Semantic Scholar

Cite

Text

Plazar et al. "Efficient and Complete FD-Solving for Extended Array Constraints." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/171

Markdown

[Plazar et al. "Efficient and Complete FD-Solving for Extended Array Constraints." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/plazar2017ijcai-efficient/) doi:10.24963/IJCAI.2017/171

BibTeX

@inproceedings{plazar2017ijcai-efficient,
  title     = {{Efficient and Complete FD-Solving for Extended Array Constraints}},
  author    = {Plazar, Quentin and Acher, Mathieu and Bardin, Sébastien and Gotlieb, Arnaud},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2017},
  pages     = {1231-1238},
  doi       = {10.24963/IJCAI.2017/171},
  url       = {https://mlanthology.org/ijcai/2017/plazar2017ijcai-efficient/}
}