Improving Tree Decomposition Methods with Function Filtering

Abstract

Tree decomposition can solve weighted CSP, but with a high spatial complexity. To improve its practical usage, we present function filtering, a strategy to decrease memory consumption. Function filtering dtects and removes some tuples that appear to be consistent but that will become inconsistent when extended to other variables. We show empirically the benefits of our approach.

Cite

Text

Sánchez-Fibla et al. "Improving Tree Decomposition Methods with Function Filtering." International Joint Conference on Artificial Intelligence, 2005.

Markdown

[Sánchez-Fibla et al. "Improving Tree Decomposition Methods with Function Filtering." International Joint Conference on Artificial Intelligence, 2005.](https://mlanthology.org/ijcai/2005/sanchezfibla2005ijcai-improving/)

BibTeX

@inproceedings{sanchezfibla2005ijcai-improving,
  title     = {{Improving Tree Decomposition Methods with Function Filtering}},
  author    = {Sánchez-Fibla, Martí and Larrosa, Javier and Meseguer, Pedro},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2005},
  pages     = {1537-1538},
  url       = {https://mlanthology.org/ijcai/2005/sanchezfibla2005ijcai-improving/}
}