Soft and Cost MDD Propagators

AAAI 2017 pp. 3922-3928

doi:10.1609/AAAI.V31I1.11130 /aaai/2017/perez2017aaai-soft/

Abstract

Recent developments of efficient propagators, operations and creation methods for MDDs allow us to directly build efficient MDD-based models, without the need for intermediate data structures. In this paper, we take another step in this direction by improving the propagators of cost MDDs. In addition, we introduce a soft MDD propagator in order to deal with unsatisfiable problems. This directly offers cost and soft versions for table constraints and any constraints which can be represented by an MDD (regular, slide, knapsack...).

PDF AAAI Semantic Scholar

Cite

Text

Perez and Régin. "Soft and Cost MDD Propagators." AAAI Conference on Artificial Intelligence, 2017. doi:10.1609/AAAI.V31I1.11130

Markdown

[Perez and Régin. "Soft and Cost MDD Propagators." AAAI Conference on Artificial Intelligence, 2017.](https://mlanthology.org/aaai/2017/perez2017aaai-soft/) doi:10.1609/AAAI.V31I1.11130

BibTeX

@inproceedings{perez2017aaai-soft,
  title     = {{Soft and Cost MDD Propagators}},
  author    = {Perez, Guillaume and Régin, Jean-Charles},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2017},
  pages     = {3922-3928},
  doi       = {10.1609/AAAI.V31I1.11130},
  url       = {https://mlanthology.org/aaai/2017/perez2017aaai-soft/}
}