Improving Tree Decomposition Methods With Function Filtering

Sánchez-Fibla, Martí; Larrosa, Javier; Meseguer, Pedro

Improving Tree Decomposition Methods With Function Filtering

Martí Sánchez-Fibla, Javier Larrosa, Pedro Meseguer

Download BibTeX Cite

Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence. Pages 1537-1537.

Abstract

Full text extracted automatically from the PDF; figures, tables and equations may differ. The PDF is the version of record.

Formula not decoded

Martí Sánchez-Fibla, Javier Larrosa, and Pedro Meseguer. 2005. Improving Tree Decomposition Methods With Function Filtering. In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05. IJCAI, 1537–1537. https://ijcai.org/proceedings/2005/318

@inproceedings{ijcai2005p318,
  title     = {Improving Tree Decomposition Methods With Function Filtering},
  author    = {Sánchez-Fibla, Martí and Larrosa, Javier and Meseguer, Pedro},
  booktitle = {Proceedings of the Nineteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-05}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Leslie Pack Kaelbling and Alessandro Saffiotti},
  pages     = {1537--1537},
  year      = {2005},
  url       = {https://ijcai.org/proceedings/2005/318},
}

TY  - CPAPER
TI  - Improving Tree Decomposition Methods With Function Filtering
AU  - Sánchez-Fibla, Martí
AU  - Larrosa, Javier
AU  - Meseguer, Pedro
T2  - Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2005
SP  - 1537
EP  - 1537
UR  - https://ijcai.org/proceedings/2005/318
ER  -